{"total":24,"rows":[{"id":"2512.17260","title":"Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from Experience","created":"2025-12-19","cited_by_count":44,"area":null},{"id":"2602.18307","title":"VeriSoftBench: Repository-Scale Formal Verification Benchmarks for Lean","created":"2026-02-20","cited_by_count":8,"area":null},{"id":"2603.02668","title":"SorryDB: Can AI Provers Complete Real-World Lean Theorems?","created":"2026-03-03","cited_by_count":8,"area":null},{"id":"2606.26442","title":"AXLE: A Cloud Infrastructure for Lean 4 Theorem Proving Utilities","created":"2026-06-24","cited_by_count":5,"area":null},{"id":"2601.15737","title":"PhysProver: Advancing Automatic Theorem Proving for Physics","created":"2026-01-22","cited_by_count":3,"area":null},{"id":"2605.10379","title":"Not All Proofs Are Equal: Evaluating LLM Proof Quality Beyond Correctness","created":"2026-05-11","cited_by_count":3,"area":null},{"id":"2607.13292","title":"Theory-Level Autoformalization: From Isolated Statements to Unified Formal Knowledge Bases","created":"2026-07-14","cited_by_count":3,"area":null},{"id":"2604.16584","title":"Certified Program Synthesis with a Multi-Modal Verifier","created":"2026-04-17","cited_by_count":2,"area":null},{"id":"2605.12421","title":"Formalize, Don't Optimize: The Heuristic Trap in LLM-Generated Combinatorial Solvers","created":"2026-05-12","cited_by_count":2,"area":null},{"id":"2606.03743","title":"Proof-Refactor: Refactoring Generated Formal Proofs into Modular Artifacts","created":"2026-06-02","cited_by_count":2,"area":null},{"id":"2512.14252","title":"G\\\"odel's Poetry","created":"2025-12-16","cited_by_count":1,"area":null},{"id":"2602.13851","title":"Evaluating LLM-Generated ACSL Annotations for Formal Verification","created":"2026-02-14","cited_by_count":1,"area":null},{"id":"2603.03668","title":"Can LLM Aid in Solving Constraints with Inductive Definitions?","created":"2026-03-04","cited_by_count":1,"area":null},{"id":"2604.16347","title":"Lean Atlas: An Integrated Proof Environment for Scalable Human-AI Collaborative Formalization","created":"2026-03-16","cited_by_count":1,"area":null},{"id":"2605.26959","title":"MerLean-Prover: A Recursive Looping Harness for Lean 4 Theorem Proving","created":"2026-05-26","cited_by_count":1,"area":null},{"id":"2606.20642","title":"Hypothesis-Disciplined Multi-Agent Automated Formalization of Asymptotic Statistical Theory","created":"2026-06-03","cited_by_count":1,"area":null},{"id":"2607.07779","title":"From Solvers to Research: Large Language Model-Driven Formal Mathematics at the Research Frontier","created":"2026-07-08","cited_by_count":1,"area":null},{"id":"2607.14582","title":"MathCoPilot: An Interactive System for Human-AI Symbiotic Paradigm of Mathematical Research","created":"2026-07-16","cited_by_count":1,"area":null},{"id":"2608.25220","title":"FLARE: Verifying MILP Reformulations with LLM-Based Theorem Proving","created":"2026-08-25","cited_by_count":1,"area":null},{"id":"2608.05234","title":"PPDL: LLM-Based Flows as Probabilistic Programs","created":"2026-08-05","cited_by_count":0,"area":null},{"id":"2608.26334","title":"ProofEvolve: Neuro-Symbolic Evolution for Formal Automated Theorem Proving","created":"2026-08-26","cited_by_count":0,"area":null},{"id":"2609.34460","title":"When Does Structured Knowledge Help Neural Theorem Proving?","created":"2026-09-28","cited_by_count":0,"area":null},{"id":"2609.35606","title":"TCSAlgBench: Benchmarking Automated Proving for Research-Level Theoretical Computer Science","created":"2026-09-28","cited_by_count":0,"area":null},{"id":"2610.11862","title":"LEVER: Adaptive Cost-Aware Proof Search Over AND/OR Graphs","created":"2026-10-08","cited_by_count":0,"area":null}],"next_cursor":null}