{"total":14,"rows":[{"id":"2409.12183","title":"To CoT or not to CoT? Chain-of-thought helps mainly on math and symbolic reasoning","created":"2024-09-18","cited_by_count":263,"area":"lr"},{"id":"2504.01995","title":"Brains vs. Bytes: Evaluating LLM Proficiency in Olympiad Mathematics","created":"2025-04-01","cited_by_count":24,"area":"lr"},{"id":"2502.12616","title":"Improving Chain-of-Thought Reasoning via Quasi-Symbolic Abstractions","created":"2025-02-18","cited_by_count":17,"area":"lr"},{"id":"2410.10336","title":"CoMAT: Chain of Mathematically Annotated Thought Improves Mathematical Reasoning","created":"2024-10-14","cited_by_count":16,"area":"lr"},{"id":"2502.13137","title":"Theorem Prover as a Judge for Synthetic Data Generation","created":"2025-02-18","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":"2410.01044","title":"RATIONALYST: Mining Implicit Rationales for Process Supervision of Reasoning","created":"2024-10-01","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":"2502.12275","title":"Integrating Expert Knowledge into Logical Programs via LLMs","created":"2025-02-17","cited_by_count":3,"area":"lr"},{"id":"2411.18915","title":"MATATA: Weakly Supervised End-to-End MAthematical Tool-Augmented Reasoning for Tabular Applications","created":"2024-11-28","cited_by_count":1,"area":"lr"},{"id":"2602.12665","title":"Evaluating Robustness of Reasoning Models on Parameterized Logical Problems","created":"2026-02-13","cited_by_count":1,"area":"lr"},{"id":"2603.21140","title":"ORACLE: Optimizing Reasoning Abilities of Large Language Models via Constraint-Led Synthetic Data Elicitation","created":"2026-03-22","cited_by_count":0,"area":"lr"},{"id":"2605.16052","title":"Reasoners or Translators? Contamination-aware Evaluation and Neuro-Symbolic Robustness in Tax Law","created":"2026-05-15","cited_by_count":0,"area":"lr"}],"next_cursor":null}