{"total":17,"rows":[{"id":"2412.16075","title":"Formal Mathematical Reasoning: A New Frontier in AI","created":"2024-12-20","cited_by_count":81,"area":"lr"},{"id":"2510.12787","title":"Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics","created":"2025-10-14","cited_by_count":31,"area":"lr"},{"id":"2602.06176","title":"Large Language Model Reasoning Failures","created":"2026-02-05","cited_by_count":21,"area":"lr"},{"id":"2502.13834","title":"Proving Olympiad Inequalities by Synergizing LLMs and Symbolic Reasoning","created":"2025-02-19","cited_by_count":17,"area":"lr"},{"id":"2506.11487","title":"Reviving DSP for Advanced Theorem Proving in the Era of Reasoning Models","created":"2025-06-13","cited_by_count":17,"area":"lr"},{"id":"2410.16930","title":"Math Neurosurgery: Isolating Language Models' Math Reasoning Abilities Using Only Forward Passes","created":"2024-10-22","cited_by_count":10,"area":"lr"},{"id":"2502.09955","title":"Diverse Inference and Verification for Advanced Reasoning","created":"2025-02-14","cited_by_count":6,"area":"lr"},{"id":"2603.25810","title":"ExVerus: Verus Proof Repair via Counterexample Reasoning","created":"2026-03-26","cited_by_count":3,"area":"lr"},{"id":"2602.20770","title":"Pipeline for Verifying LLM-Generated Mathematical Solutions","created":"2026-02-24","cited_by_count":1,"area":"lr"},{"id":"2603.22363","title":"Early Discoveries of Algorithmist I: Promise of Provable Algorithm Synthesis at Scale","created":"2026-03-23","cited_by_count":1,"area":"lr"},{"id":"2605.30914","title":"Automating Formal Verification with Reinforcement Learning and Recursive Inference","created":"2026-05-29","cited_by_count":1,"area":"lr"},{"id":"2606.08728","title":"Artificial Intelligence for Mathematical Reasoning: An Integrated Survey of Language Models, Neuro-symbolic Systems, and Verified Discovery","created":"2026-06-07","cited_by_count":1,"area":"lr"},{"id":"2606.28841","title":"LAMP: Lean-based Agentic framework with MCP and Proof Repair","created":"2026-06-27","cited_by_count":1,"area":"lr"},{"id":"2607.17352","title":"Self-Modifying Lean Proof Agents with Verifier-Grounded Benchmark Coevolution","created":"2026-07-19","cited_by_count":1,"area":"lr"},{"id":"2507.04034","title":"Lyria: A Genetic Algorithm-Driven Neuro-Symbolic Reasoning Framework for LLMs","created":"2025-07-05","cited_by_count":0,"area":"lr"},{"id":"2602.07559","title":"VERIFY-RL: Verifiable Recursive Decomposition for Reinforcement Learning in Mathematical Reasoning","created":"2026-02-07","cited_by_count":0,"area":"lr"},{"id":"2606.00671","title":"Moxia: A Trust-First Neuro-Symbolic Execution Architecture for Self-Explaining Mathematical Reasoning","created":"2026-05-30","cited_by_count":0,"area":"lr"}],"next_cursor":null}