{"total":17,"rows":[{"id":"2205.11502","title":"On the Paradox of Learning to Reason from Data","created":"2022-05-23","cited_by_count":93,"area":"lr"},{"id":"2310.00836","title":"Towards LogiGLUE: A Brief Survey and A Benchmark for Analyzing Logical Reasoning Capabilities of Language Models","created":"2023-10-02","cited_by_count":35,"area":"lr"},{"id":"2507.15225","title":"Solving Formal Math Problems by Decomposition and Iterative Reflection","created":"2025-07-21","cited_by_count":35,"area":"lr"},{"id":"2202.05826","title":"End-to-end Algorithm Synthesis with Recurrent Networks: Logical Extrapolation Without Overthinking","created":"2022-02-11","cited_by_count":33,"area":"lr"},{"id":"2302.10258","title":"Neural Algorithmic Reasoning with Causal Regularisation","created":"2023-02-20","cited_by_count":31,"area":"lr"},{"id":"2410.07432","title":"Can Transformers Reason Logically? A Study in SAT Solving","created":"2024-10-09","cited_by_count":16,"area":"lr"},{"id":"2412.08457","title":"Efficient Rectification of Neuro-Symbolic Reasoning Inconsistencies by Abductive Reflection","created":"2024-12-11","cited_by_count":9,"area":"lr"},{"id":"2403.04017","title":"Learning Guided Automated Reasoning: A Brief Survey","created":"2024-03-06","cited_by_count":7,"area":"lr"},{"id":"2410.22597","title":"Are Large-Language Models Graph Algorithmic Reasoners?","created":"2024-10-29","cited_by_count":5,"area":"lr"},{"id":"2512.04374","title":"LangSAT: A Novel Framework Combining NLP and Reinforcement Learning for SAT Solving","created":"2025-12-04","cited_by_count":2,"area":"lr"},{"id":"2205.04423","title":"Graph Neural Networks for Propositional Model Counting","created":"2022-05-09","cited_by_count":1,"area":"lr"},{"id":"2505.20313","title":"Reasoning in Neurosymbolic AI","created":"2025-05-22","cited_by_count":1,"area":"lr"},{"id":"2504.02018","title":"Geometric Reasoning in the Embedding Space","created":"2025-04-02","cited_by_count":0,"area":"lr"},{"id":"2508.17153","title":"Natural Language Satisfiability: Exploring the Problem Distribution and Evaluating Transformer-based Language Models","created":"2025-08-23","cited_by_count":0,"area":"lr"},{"id":"2603.28248","title":"Reasoning as Energy Minimization over Structured Latent Trajectories","created":"2026-03-30","cited_by_count":0,"area":"lr"},{"id":"2605.19895","title":"Streamlined Constraint Reasoning via CNN Pattern Recognition on Enumerated Solutions","created":"2026-05-19","cited_by_count":0,"area":"lr"},{"id":"2605.23395","title":"Convex Compositional Reasoning Models","created":"2026-05-22","cited_by_count":0,"area":"lr"}],"next_cursor":null}