Viva La Vida: Verification and Accumulation Failures in Multi-Agent Proof Search
cs.CL, cs.AI, cs.MA
Submitted: 2026-10-04
Updated: 2026-10-04
License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
Terminology
Sources
- Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
- BFS-Prover: Scalable Best-First Tree Search for LLM-based Automatic Theorem Proving
- LeanDojo: Theorem Proving with Retrieval-Augmented Language Models
- Hilbert: Recursively Building Formal Proofs with Informal Reasoning
- Why Do Multi-Agent LLM Systems Fail?
- AgentPoison: Red-teaming LLM Agents via Poisoning Memory or Knowledge Bases
- Large Language Models Cannot Self-Correct Reasoning Yet
- Reflexion: Language Agents with Verbal Reinforcement Learning
- Judging LLM-as-a-Judge with MT-Bench and Chatbot Arena
Related papers
- Exploring Solution Divergence and Its Effect on Large Language Model Problem Solving
- Ishigaki-IDS-Bench: A Benchmark for Generating Information Delivery Specification from BIM Information Requirements
- Subliminal Steering: Stronger Encoding of Hidden Signals
- MedStruct-S: A Benchmark for Key Discovery, Key-Conditioned QA and Semi-Structured Extraction from OCR Clinical Reports
- The End of Transformers? On Challenging Attention and the Rise of Sub-Quadratic Architectures
- Untangling the Mechanisms of Misleading Context in Medical Question Answering