{"total":16,"rows":[{"id":"2510.25427","title":"RLMEval: Evaluating Research-Level Neural Theorem Proving","created":"2025-10-29","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":"2605.17829","title":"Interactive Evaluation Requires a Design Science","created":"2026-05-18","cited_by_count":3,"area":null},{"id":"2503.09730","title":"Local Look-Ahead Guidance via Verifier-in-the-Loop for Automated Theorem Proving","created":"2025-03-12","cited_by_count":2,"area":null},{"id":"2608.13522","title":"Vero: Can AI Agents Build Formally Verified Software Repositories?","created":"2026-08-13","cited_by_count":2,"area":null},{"id":"2604.23698","title":"Benchmarking Testing in Automated Theorem Proving","created":"2026-04-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":"2606.21678","title":"Decodable but Not Faithful: Coupling Natural-Language Rationales to Programmatic Verifiers","created":"2026-06-19","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.28632","title":"LLM Framework for Discovering Major Mathematical Conjectures: AI's Quest for the Next Riemann Hypothesis","created":"2026-04-19","cited_by_count":1,"area":null},{"id":"2503.10469","title":"Deep Learning based discovery of Integrable Systems","created":"2025-03-13","cited_by_count":0,"area":null},{"id":"2603.22017","title":"Domain Adapted Large Language Models for Additive Manufacturing","created":"2026-03-23","cited_by_count":0,"area":null},{"id":"2605.25556","title":"Keep the Proof State Live: Snapshotting for Efficient Tactic Search in Lean 4","created":"2026-05-25","cited_by_count":0,"area":null},{"id":"2608.18084","title":"Compiler-Guided Adaptive Proof Search with Cross-Model Synergy on Context-Dependent Theorem Proving","created":"2026-06-04","cited_by_count":0,"area":null},{"id":"2609.34960","title":"ProofLoom: Proof-Obligation-Driven Theory Construction for Autoformalizing Research-Level Stochastic Optimization","created":"2026-09-28","cited_by_count":0,"area":null},{"id":"2609.39228","title":"Fyan: A Human--AI Harness with Semantic Auditing for Document-Level Formalization","created":"2026-09-30","cited_by_count":0,"area":null}],"next_cursor":null}