{"total":18,"rows":[{"id":"2412.16075","title":"Formal Mathematical Reasoning: A New Frontier in AI","created":"2024-12-20","cited_by_count":81,"area":"lr"},{"id":"2412.11936","title":"A Survey of Mathematical Reasoning in the Era of Multimodal Large Language Model: Benchmark, Method & Challenges","created":"2024-12-16","cited_by_count":55,"area":"lr"},{"id":"2502.00963","title":"PDE-Controller: LLMs for Autoformalization and Reasoning of PDEs","created":"2025-02-03","cited_by_count":23,"area":"lr"},{"id":"2602.06176","title":"Large Language Model Reasoning Failures","created":"2026-02-05","cited_by_count":21,"area":"lr"},{"id":"2510.24592","title":"ReForm: Reflective Autoformalization with Prospective Bounded Sequence Optimization","created":"2025-10-28","cited_by_count":20,"area":"lr"},{"id":"2501.16207","title":"From Informal to Formal -- Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs","created":"2025-01-27","cited_by_count":18,"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":"2508.04440","title":"StepFun-Formalizer: Unlocking the Autoformalization Potential of LLMs through Knowledge-Reasoning Fusion","created":"2025-08-06","cited_by_count":16,"area":"lr"},{"id":"2505.03418","title":"Knowledge Augmented Complex Problem Solving with Large Language Models: A Survey","created":"2025-05-06","cited_by_count":6,"area":"lr"},{"id":"2603.19514","title":"Learning to Disprove: Formal Counterexample Generation with Large Language Models","created":"2026-03-19","cited_by_count":5,"area":"lr"},{"id":"2410.20274","title":"Library Learning Doesn't: The Curious Case of the Single-Use \"Library\"","created":"2024-10-26","cited_by_count":4,"area":"lr"},{"id":"2507.11936","title":"A Survey of Deep Learning for Geometry Problem Solving","created":"2025-07-16","cited_by_count":4,"area":"lr"},{"id":"2409.11074","title":"RoMath: A Mathematical Reasoning Benchmark in Romanian","created":"2024-09-17","cited_by_count":2,"area":"lr"},{"id":"2605.16385","title":"Hilbert-Geo: Solving Solid Geometric Problems by Neural-Symbolic Reasoning","created":"2026-05-11","cited_by_count":2,"area":"lr"},{"id":"2608.20686","title":"CDRL: Certification-Driven Reinforcement Learning for Neutrino Flavor Model Discovery","created":"2026-08-21","cited_by_count":2,"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":"2509.02758","title":"An Ontology-Based Approach to Optimizing Geometry Problem Sets for Skill Development","created":"2025-09-02","cited_by_count":0,"area":"lr"}],"next_cursor":null}