{"total":14,"rows":[{"id":"2502.15652","title":"Empowering LLMs with Logical Reasoning: A Comprehensive Survey","created":"2025-02-21","cited_by_count":51,"area":"lr"},{"id":"2505.19683","title":"Large Language Models for Planning: A Comprehensive and Systematic Survey","created":"2025-05-26","cited_by_count":40,"area":"lr"},{"id":"2510.09782","title":"The Geometry of Reasoning: Flowing Logics in Representation Space","created":"2025-10-10","cited_by_count":21,"area":"lr"},{"id":"2507.15512","title":"Step-level Verifier-guided Hybrid Test-Time Scaling for Large Language Models","created":"2025-07-21","cited_by_count":10,"area":"lr"},{"id":"2505.15960","title":"Efficient PRM Training Data Synthesis via Formal Verification","created":"2025-05-21","cited_by_count":8,"area":"lr"},{"id":"2506.08672","title":"RuleReasoner: Reinforced Rule-based Reasoning via Domain-aware Dynamic Sampling","created":"2025-06-10","cited_by_count":6,"area":"lr"},{"id":"2504.20213","title":"Can Large Language Models Learn Formal Logic? A Data-Driven Training and Evaluation Framework","created":"2025-04-28","cited_by_count":5,"area":"lr"},{"id":"2507.09751","title":"Sound and Complete Neurosymbolic Reasoning with LLM-Grounded Interpretations","created":"2025-07-13","cited_by_count":4,"area":"lr"},{"id":"2506.04478","title":"Matching Markets Meet LLMs: Algorithmic Reasoning with Ranked Preferences","created":"2025-06-04","cited_by_count":2,"area":"lr"},{"id":"2510.11031","title":"LogiNumSynth: Synthesizing Joint Logical-Numerical Reasoning Problems for Language Models","created":"2025-10-13","cited_by_count":2,"area":"lr"},{"id":"2604.14121","title":"Correct Prediction, Wrong Steps? Consensus Reasoning Knowledge Graph for Robust Chain-of-Thought Synthesis","created":"2026-04-15","cited_by_count":1,"area":"lr"},{"id":"2605.10082","title":"FERA: Uncertainty-Aware Federated Reasoning for Large Language Models","created":"2026-05-11","cited_by_count":1,"area":"lr"},{"id":"2502.17017","title":"Quantifying Logical Consistency in Transformers via Query-Key Alignment","created":"2025-02-24","cited_by_count":0,"area":"lr"},{"id":"2602.14035","title":"FloCA: Towards Faithful and Logically Consistent Flowchart Reasoning","created":"2026-02-15","cited_by_count":0,"area":"lr"}],"next_cursor":null}