{"total":13,"rows":[{"id":"2507.23726","title":"Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving","created":"2025-07-31","cited_by_count":101,"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.12680","title":"Ineq-Comp: Benchmarking Human-Intuitive Compositional Reasoning in Automated Theorem Proving on Inequalities","created":"2025-05-19","cited_by_count":8,"area":"lr"},{"id":"2508.14644","title":"LeanGeo: Formalizing Competitional Geometry problems in Lean","created":"2025-08-20","cited_by_count":7,"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":"2505.23881","title":"Using Reasoning Models to Generate Search Heuristics that Solve Open Instances of Combinatorial Design Problems","created":"2025-05-29","cited_by_count":3,"area":"lr"},{"id":"2512.00997","title":"IndiMathBench: Autoformalizing Mathematical Reasoning Problems with a Human Touch","created":"2025-11-30","cited_by_count":3,"area":"lr"},{"id":"2510.11986","title":"Conjecturing: An Overlooked Step in Formal Mathematical Reasoning","created":"2025-10-13","cited_by_count":2,"area":"lr"},{"id":"2606.03144","title":"GTBench: A Curriculum-Grounded Benchmark for Evaluating LLMs as Mathematical Research Assistants in Graph Theory","created":"2026-06-02","cited_by_count":1,"area":"lr"},{"id":"2510.12997","title":"Max It or Miss It: Benchmarking LLM On Solving Extremal Problems","created":"2025-10-14","cited_by_count":0,"area":"lr"},{"id":"2602.22971","title":"SPM-Bench: Benchmarking Large Language Models for Scanning Probe Microscopy","created":"2026-02-26","cited_by_count":0,"area":"lr"},{"id":"2605.17255","title":"CAM-Bench: A Benchmark for Computational and Applied Mathematics in Lean","created":"2026-05-17","cited_by_count":0,"area":"lr"},{"id":"2606.10479","title":"ComBench: A Benchmark for Rigorous Proof Reasoning and Constructive Realization in Olympiad-Level Combinatorics","created":"2026-06-09","cited_by_count":0,"area":"lr"}],"next_cursor":null}