#formal-theorem-proving News & Analysis

2 articles tagged with #formal-theorem-proving. AI-curated summaries with sentiment analysis and key takeaways from 50+ sources.

2 articles

AINeutralarXiv – CS AI · Jun 196/10

🧠

VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving

VERITAS introduces a zero-shot framework for formal theorem proving that leverages rich verifier feedback signals rather than binary pass/fail outcomes. Using a two-phase approach combining Best-of-N sampling with critic-guided Monte Carlo Tree Search, the system achieves 40.6% accuracy on miniF2F benchmarks and demonstrates particular strength in combinatorial problems where iterative lemma recovery is critical.

AIBullisharXiv – CS AI · Jun 56/10

🧠

Goedel-Architect: Streamlining Formal Theorem Proving with Blueprint Generation and Refinement

Goedel-Architect is a new AI framework for formal theorem proving that uses blueprint generation and refinement to achieve state-of-the-art results on mathematical benchmarks. Built on DeepSeek-V4-Flash, it demonstrates significant improvements in solving complex mathematical problems while maintaining cost efficiency up to 500x lower than comparable solutions.