{"total":28,"rows":[{"id":"2310.10631","title":"Llemma: An Open Language Model For Mathematics","created":"2023-10-16","cited_by_count":388,"area":"lr"},{"id":"2305.10037","title":"Can Language Models Solve Graph Problems in Natural Language?","created":"2023-05-17","cited_by_count":252,"area":"lr"},{"id":"2212.07919","title":"ROSCOE: A Suite of Metrics for Scoring Step-by-Step Reasoning","created":"2022-12-15","cited_by_count":177,"area":"lr"},{"id":"2311.01460","title":"Implicit Chain of Thought Reasoning via Knowledge Distillation","created":"2023-11-02","cited_by_count":176,"area":"lr"},{"id":"2212.10535","title":"A Survey of Deep Learning for Mathematical Reasoning","created":"2022-12-20","cited_by_count":124,"area":"lr"},{"id":"2304.10703","title":"ReCEval: Evaluating Reasoning Chains via Correctness and Informativeness","created":"2023-04-21","cited_by_count":77,"area":"lr"},{"id":"2407.10040","title":"Lean-STaR: Learning to Interleave Thinking and Proving","created":"2024-07-14","cited_by_count":68,"area":"lr"},{"id":"2402.00559","title":"A Chain-of-Thought Is as Strong as Its Weakest Link: A Benchmark for Verifiers of Reasoning Chains","created":"2024-02-01","cited_by_count":65,"area":"lr"},{"id":"2309.15028","title":"Don't throw away your value model! Generating more preferable text with Value-Guided Monte-Carlo Tree Search decoding","created":"2023-09-26","cited_by_count":60,"area":"lr"},{"id":"2412.15797","title":"Ensembling Large Language Models with Process Reward-Guided Tree Search for Better Complex Reasoning","created":"2024-12-20","cited_by_count":40,"area":"lr"},{"id":"2405.06705","title":"LLMs can Find Mathematical Reasoning Mistakes by Pedagogical Chain-of-Thought","created":"2024-05-09","cited_by_count":28,"area":"lr"},{"id":"2310.00074","title":"SocREval: Large Language Models with the Socratic Method for Reference-Free Reasoning Evaluation","created":"2023-09-29","cited_by_count":27,"area":"lr"},{"id":"2402.11194","title":"Evaluating LLMs' Mathematical Reasoning in Financial Document Question Answering","created":"2024-02-17","cited_by_count":25,"area":"lr"},{"id":"2504.00762","title":"Do We Truly Need So Many Samples? Multi-LLM Repeated Sampling Efficiently Scales Test-Time Compute","created":"2025-04-01","cited_by_count":20,"area":"lr"},{"id":"2308.07336","title":"Learning Deductive Reasoning from Synthetic Corpus based on Formal Logic","created":"2023-08-11","cited_by_count":18,"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":"2510.13888","title":"Reliable Fine-Grained Evaluation of Natural Language Math Proofs","created":"2025-10-14","cited_by_count":18,"area":"lr"},{"id":"2209.07662","title":"NELLIE: A Neuro-Symbolic Inference Engine for Grounded, Compositional, and Explainable Reasoning","created":"2022-09-16","cited_by_count":16,"area":"lr"},{"id":"2507.06181","title":"CriticLean: Critic-Guided Reinforcement Learning for Mathematical Formalization","created":"2025-07-08","cited_by_count":16,"area":"lr"},{"id":"2402.10528","title":"Can We Verify Step by Step for Incorrect Answer Detection?","created":"2024-02-16","cited_by_count":15,"area":"lr"},{"id":"2504.03930","title":"Have Large Language Models Learned to Reason? A Characterization via 3-SAT Phase Transition","created":"2025-04-04","cited_by_count":14,"area":"lr"},{"id":"2503.17726","title":"A Survey on Mathematical Reasoning and Optimization with Large Language Models","created":"2025-03-22","cited_by_count":12,"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":"2505.14479","title":"Reliable Proof Generation with LLMs via Analogical Retrieval and Symbolic Verification: A Case Study in Euclidean Geometry","created":"2025-05-20","cited_by_count":7,"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":"2601.00791","title":"Geometry of Reason: Spectral Signatures of Valid Mathematical Reasoning","created":"2026-01-02","cited_by_count":4,"area":"lr"},{"id":"2404.18384","title":"Exploring the Limits of Fine-grained LLM-based Physics Inference via Premise Removal Interventions","created":"2024-04-29","cited_by_count":3,"area":"lr"},{"id":"2307.09998","title":"Controlling Equational Reasoning in Large Language Models with Prompt Interventions","created":"2023-07-19","cited_by_count":1,"area":"lr"}],"next_cursor":null}