Discovering New Theorems via LLMs with In-Context Proof Learning in Lean
Anzeige
Ähnliche Artikel
arXiv – cs.AI
•
Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics
arXiv – cs.AI
•
CoMMa: Neue Game-Theoretic Multi-Agenten für präzisere Onkologie-Entscheidungen
arXiv – cs.AI
•
ToolSelf: Agenten lernen, sich selbst zu konfigurieren – neue LLM-Strategie
arXiv – cs.LG
•
Adaptive Retrieval verbessert LLM-Logik – aber nur selten
arXiv – cs.LG
•
Optimales Token‑Baseline reduziert Varianz bei Langzeit‑LLM‑RL
arXiv – cs.AI
•
Halluzinationen in Sprachmodellen: OOD-Ansatz liefert effektive Erkennung