arXiv (All)
open access
Viva La Vida: Verification and Accumulation Failures in Multi-Agent Proof Search
When an agentic prover works on an open problem, there is no proof assistant to fall back on: its verifier and lemma library are ultimately language models judging model outputs. We instrumented such a system end to end and analyzed $51{,}754$ traced observations across three full runs ($186$ hours,
Conceptio Open Archive
Analyze & explore related research in Conceptio
Connect this record directly into your research workflow or AI agent. Explore citations across open repositories, query full text, and export structured proof bundles.
This document is indexed with metadata only: full text is not available in the archive for this record. Open the official source ↗
Related documents
- Deepening the Automated Search for Gödel's Proofs#711751
- DARE: Dialectical Agentic Reasoning for Structured Knowledge Fact Checking#1083306
- From Expert-Guided Proof Search to Automated Open-Problem Solving#1234136
- Cost-Effective Automated Judging of Natural-Language Mathematical Proofs#1201023
- Agentic Workflows for Economic Research: Design, Implementation, and Evaluation#1328282
Record · ID 1200480
Retrieved via Conceptio: every document is proof-bundled with source, license, and retrieval metadata.
Retrieved via Conceptio: every document is proof-bundled with source, license, and retrieval metadata.
Bring this data into your agent: Connect via MCP or API · 20 free credits to start · no card required
Read the Docs → · View CLI source on GitHub · Conceptio Open Knowledge Archive
Read the Docs → · View CLI source on GitHub · Conceptio Open Knowledge Archive