{"total":18,"rows":[{"id":"2502.12054","title":"PhysReason: A Comprehensive Benchmark towards Physics-Based Reasoning","created":"2025-02-17","cited_by_count":59,"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":"2409.20441","title":"Instance-adaptive Zero-shot Chain-of-Thought Prompting","created":"2024-09-30","cited_by_count":26,"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":"2410.12323","title":"Reversal of Thought: Enhancing Large Language Models with Preference-Guided Reverse Reasoning Warm-up","created":"2024-10-16","cited_by_count":10,"area":"lr"},{"id":"2410.11531","title":"AGENTiGraph: An Interactive Knowledge Graph Platform for LLM-based Chatbots Utilizing Private Data","created":"2024-10-15","cited_by_count":8,"area":"lr"},{"id":"2411.00773","title":"LogiCity: Advancing Neuro-Symbolic AI with Abstract Urban Simulation","created":"2024-11-01","cited_by_count":8,"area":"lr"},{"id":"2512.18196","title":"LogicReward: Incentivizing LLM Reasoning via Step-Wise Logical Supervision","created":"2025-12-20","cited_by_count":6,"area":"lr"},{"id":"2508.12425","title":"Non-Interactive Symbolic-Aided Chain-of-Thought for Logical Reasoning","created":"2025-08-17","cited_by_count":4,"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":"2311.09802","title":"Neuro-Symbolic Integration Brings Causal and Reliable Reasoning Proofs","created":"2023-11-16","cited_by_count":2,"area":"lr"},{"id":"2402.03667","title":"Large Language Models as an Indirect Reasoner: Contrapositive and Contradiction for Automated Reasoning","created":"2024-02-06","cited_by_count":1,"area":"lr"},{"id":"2504.14089","title":"LogicTree: Structured Proof Exploration for Coherent and Rigorous Logical Reasoning with Large Language Models","created":"2025-04-18","cited_by_count":1,"area":"lr"},{"id":"2604.11600","title":"Geoparsing: Diagram Parsing for Plane and Solid Geometry with a Unified Formal Language","created":"2026-04-13","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":"2505.17481","title":"MARCO: Meta-Reflection with Cross-Referencing for Code Reasoning","created":"2025-05-23","cited_by_count":0,"area":"lr"},{"id":"2605.27824","title":"Revealing Algorithmic Deductive Circuits for Logical Reasoning","created":"2026-05-27","cited_by_count":0,"area":"lr"},{"id":"2607.26952","title":"Credit Cards, Confusion, Computation, and Consequences: What Can We Uncover About Language Model Reasoning?","created":"2026-07-29","cited_by_count":0,"area":"lr"}],"next_cursor":null}