{"total":13,"rows":[{"id":"2412.16075","title":"Formal Mathematical Reasoning: A New Frontier in AI","created":"2024-12-20","cited_by_count":81,"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":"2502.02362","title":"Premise-Augmented Reasoning Chains Improve Error Identification in Math reasoning with LLMs","created":"2025-02-04","cited_by_count":22,"area":"lr"},{"id":"2602.06176","title":"Large Language Model Reasoning Failures","created":"2026-02-05","cited_by_count":21,"area":"lr"},{"id":"2412.10673","title":"Proposing and solving olympiad geometry with guided tree search","created":"2024-12-14","cited_by_count":19,"area":"lr"},{"id":"2505.20047","title":"Grammars of Formal Uncertainty: When to Trust LLMs in Automated Reasoning Tasks","created":"2025-05-26","cited_by_count":10,"area":"lr"},{"id":"2507.11275","title":"FMC: Formalization of Natural Language Mathematical Competition Problems","created":"2025-07-15","cited_by_count":4,"area":"lr"},{"id":"2607.04655","title":"FormalRx: Rectify and eXamine Semantic Failures in Autoformalization","created":"2026-07-06","cited_by_count":4,"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"},{"id":"2604.02709","title":"Evaluating the Formal Reasoning Capabilities of Large Language Models through Chomsky Hierarchy","created":"2026-04-03","cited_by_count":0,"area":"lr"},{"id":"2605.15131","title":"Natural Synthesis: Outperforming Reactive Synthesis Tools with Large Reasoning Models","created":"2026-05-14","cited_by_count":0,"area":"lr"},{"id":"2606.19588","title":"Analyzing the Narration Gap in LLM-Solver Loops","created":"2026-06-17","cited_by_count":0,"area":"lr"},{"id":"2609.32924","title":"Diagnosing Sampled LLM Reasoning in Formal Geometry: Coverage, Realization, and Validity Evidence","created":"2026-09-26","cited_by_count":0,"area":"lr"}],"next_cursor":null}