{"total":16,"rows":[{"id":"2603.11137","title":"Scaling Reasoning Efficiently via Relaxed On-Policy Distillation","created":"2026-03-11","cited_by_count":82,"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":"2502.17638","title":"Towards Robust Legal Reasoning: Harnessing Logical LLMs in Law","created":"2025-02-24","cited_by_count":30,"area":"lr"},{"id":"2504.10369","title":"SymRTLO: Enhancing RTL Code Optimization with LLMs and Neuron-Inspired Symbolic Reasoning","created":"2025-04-14","cited_by_count":16,"area":"lr"},{"id":"2506.16335","title":"Explainable Rule Application via Structured Prompting: A Neural-Symbolic Approach","created":"2025-06-19","cited_by_count":14,"area":"lr"},{"id":"2505.13138","title":"Neurosymbolic Diffusion Models","created":"2025-05-19","cited_by_count":13,"area":"lr"},{"id":"2507.10624","title":"Comprehension Without Competence: Architectural Limits of LLMs in Symbolic Computation and Reasoning","created":"2025-07-14","cited_by_count":9,"area":"lr"},{"id":"2508.10777","title":"The Knowledge-Reasoning Dissociation: Fundamental Limitations of LLMs in Clinical Natural Language Inference","created":"2025-08-14","cited_by_count":2,"area":"lr"},{"id":"2601.01609","title":"Structured Decomposition for LLM Reasoning: Cross-Domain Validation and Semantic Web Integration","created":"2026-01-04","cited_by_count":1,"area":"lr"},{"id":"2609.13520","title":"From Token Probabilities to Semantic Constraints: Towards Declarative Probabilistic Evaluation of Language Models","created":"2026-09-11","cited_by_count":1,"area":"lr"},{"id":"2609.21492","title":"LogicTrack: Auditing Reasoning Trajectories of Large Language Models with Formal Logic Solvers","created":"2026-09-18","cited_by_count":1,"area":"lr"},{"id":"2512.10561","title":"Causal Reasoning Favors Encoders: On The Limits of Decoder-Only Models","created":"2025-12-11","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":"2605.29687","title":"Reliable Reasoning with Large Language Models via Preference-Based Maximum Satisfiability","created":"2026-05-28","cited_by_count":0,"area":"lr"},{"id":"2608.08786","title":"SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification","created":"2026-08-09","cited_by_count":0,"area":"lr"},{"id":"2609.05928","title":"Solving versus Verifying: Catching Contradictions in Tax Reasoning Systems","created":"2026-09-05","cited_by_count":0,"area":"lr"}],"next_cursor":null}