{"total":30,"rows":[{"id":"2401.06853","title":"Large Language Models Can Learn Temporal Reasoning","created":"2024-01-12","cited_by_count":111,"area":"lr"},{"id":"2509.24765","title":"Semantic-Aware Logical Reasoning via a Semiotic Framework","created":"2025-09-29","cited_by_count":32,"area":"lr"},{"id":"2601.02902","title":"Logical Phase Transitions: Understanding Collapse in LLM Logical Reasoning","created":"2026-01-06","cited_by_count":25,"area":"lr"},{"id":"2507.07313","title":"Frontier LLMs Still Struggle with Simple Reasoning Tasks","created":"2025-07-09","cited_by_count":21,"area":"lr"},{"id":"2506.04810","title":"Dissecting Logical Reasoning in LLMs: A Fine-Grained Evaluation and Supervision Study","created":"2025-06-05","cited_by_count":17,"area":"lr"},{"id":"2406.13764","title":"Can LLMs Reason in the Wild with Programs?","created":"2024-06-19","cited_by_count":13,"area":"lr"},{"id":"2412.14368","title":"Beyond Math: Stories as a Testbed for Memorization-Constrained Reasoning in LLMs","created":"2024-12-18","cited_by_count":12,"area":"lr"},{"id":"2409.16461","title":"Strategies for Improving NL-to-FOL Translation with LLMs: Data Generation, Incremental Fine-Tuning, and Verification","created":"2024-09-24","cited_by_count":10,"area":"lr"},{"id":"2404.00209","title":"EventGround: Narrative Reasoning by Grounding to Eventuality-centric Knowledge Graphs","created":"2024-03-30","cited_by_count":9,"area":"lr"},{"id":"2406.00284","title":"A Closer Look at Logical Reasoning with LLMs: The Choice of Tool Matters","created":"2024-06-01","cited_by_count":8,"area":"lr"},{"id":"2510.06774","title":"Adaptive LLM-Symbolic Reasoning via Dynamic Logical Solver Composition","created":"2025-10-08","cited_by_count":7,"area":"lr"},{"id":"2512.23511","title":"Beyond Correctness: Exposing LLM-generated Logical Flaws in Reasoning via Multi-step Automated Theorem Proving","created":"2025-12-29","cited_by_count":6,"area":"lr"},{"id":"2501.08613","title":"Assessing the Sensitivity and Alignment of FOL Closeness Metrics","created":"2025-01-15","cited_by_count":4,"area":"lr"},{"id":"2505.16998","title":"Do Large Language Models Excel in Complex Logical Reasoning with Formal Language?","created":"2025-05-22","cited_by_count":4,"area":"lr"},{"id":"2606.16118","title":"Know Your Limits : On the Faithfulness of LLMs as Solvers and Autoformalizers in Legal Reasoning","created":"2026-06-15","cited_by_count":3,"area":"lr"},{"id":"2401.04319","title":"Know Your Needs Better: Towards Structured Understanding of Marketer Demands with Analogical Reasoning Augmented LLMs","created":"2024-01-09","cited_by_count":2,"area":"lr"},{"id":"2410.08437","title":"Autonomous Evaluation of LLMs for Truth Maintenance and Reasoning Tasks","created":"2024-10-11","cited_by_count":2,"area":"lr"},{"id":"2601.18595","title":"A Balanced Neuro-Symbolic Approach for Commonsense Abductive Logic","created":"2026-01-26","cited_by_count":2,"area":"lr"},{"id":"2506.18383","title":"LOGICPO: Efficient Translation of NL-based Logical Problems to FOL using LLMs and Preference Optimization","created":"2025-06-23","cited_by_count":1,"area":"lr"},{"id":"2507.20491","title":"Speaking in Words, Thinking in Logic: A Dual-Process Framework in QA Systems","created":"2025-07-28","cited_by_count":1,"area":"lr"},{"id":"2603.17233","title":"Draft-and-Prune: Improving the Reliability of Auto-formalization for Logical Reasoning","created":"2026-03-18","cited_by_count":1,"area":"lr"},{"id":"2605.06483","title":"ReasonSTL: Bridging Natural Language and Signal Temporal Logic via Tool-Augmented Process-Rewarded Learning","created":"2026-05-07","cited_by_count":1,"area":"lr"},{"id":"2607.21933","title":"Semiotic logical hexagon theory for LLM logical reasoning","created":"2026-07-24","cited_by_count":1,"area":"lr"},{"id":"2512.14100","title":"A First-Order Logic-Based Alternative to Reward Models in RLHF","created":"2025-12-16","cited_by_count":0,"area":"lr"},{"id":"2602.02382","title":"ROG: Retrieval-Augmented LLM Reasoning for Complex First-Order Queries over Knowledge Graphs","created":"2026-02-02","cited_by_count":0,"area":"lr"},{"id":"2603.23867","title":"Can VLMs Reason Robustly? A Neuro-Symbolic Investigation","created":"2026-03-25","cited_by_count":0,"area":"lr"},{"id":"2604.18873","title":"From Natural Language to Executable Narsese: A Neuro-Symbolic Benchmark and Pipeline for Reasoning with NARS","created":"2026-04-20","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"},{"id":"2609.33612","title":"Quizzing the Translation: A Prover-Grounded Evaluation Metric for NL$\\rightarrow$FOL","created":"2026-09-27","cited_by_count":0,"area":"lr"},{"id":"2610.00682","title":"Ontology-Grounded, Reasoner-Verified Benchmarks for Evaluating LLM Reasoning in Scientific AI","created":"2026-09-30","cited_by_count":0,"area":"lr"}],"next_cursor":null}