{"total":16,"rows":[{"id":"2502.01100","title":"ZebraLogic: On the Scaling Limits of LLMs for Logical Reasoning","created":"2025-02-03","cited_by_count":201,"area":"lr"},{"id":"2502.09100","title":"Logical Reasoning in Large Language Models: A Survey","created":"2025-02-13","cited_by_count":55,"area":"lr"},{"id":"2502.15652","title":"Empowering LLMs with Logical Reasoning: A Comprehensive Survey","created":"2025-02-21","cited_by_count":51,"area":"lr"},{"id":"2505.14615","title":"SATBench: Benchmarking LLMs' Logical Reasoning via Automated Puzzle Generation from SAT Formulas","created":"2025-05-20","cited_by_count":33,"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":"2505.15817","title":"Learning to Reason via Mixture-of-Thought for Logical Reasoning","created":"2025-05-21","cited_by_count":20,"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":"2509.25851","title":"MuSLR: Multimodal Symbolic Logical Reasoning","created":"2025-09-30","cited_by_count":7,"area":"lr"},{"id":"2506.04575","title":"Are LLMs Stable Formal Logic Translators in Logical Reasoning Across Linguistically Diversified Texts?","created":"2025-06-05","cited_by_count":5,"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":"2607.21933","title":"Semiotic logical hexagon theory for LLM logical reasoning","created":"2026-07-24","cited_by_count":1,"area":"lr"},{"id":"2608.30258","title":"Stratified Consistency Distillation for Natural Language Formalization","created":"2026-08-31","cited_by_count":1,"area":"lr"},{"id":"2602.14035","title":"FloCA: Towards Faithful and Logically Consistent Flowchart Reasoning","created":"2026-02-15","cited_by_count":0,"area":"lr"},{"id":"2602.18095","title":"Neurosymbolic Language Reasoning as Satisfiability Modulo Theory","created":"2026-02-20","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"}],"next_cursor":null}