{"total":26,"rows":[{"id":"2212.10535","title":"A Survey of Deep Learning for Mathematical Reasoning","created":"2022-12-20","cited_by_count":124,"area":"lr"},{"id":"2205.11502","title":"On the Paradox of Learning to Reason from Data","created":"2022-05-23","cited_by_count":93,"area":"lr"},{"id":"2305.14825","title":"Large Language Models are In-Context Semantic Reasoners rather than Symbolic Reasoners","created":"2023-05-24","cited_by_count":63,"area":"lr"},{"id":"2202.12205","title":"Is Neuro-Symbolic AI Meeting its Promise in Natural Language Processing? A Structured Review","created":"2022-02-24","cited_by_count":38,"area":"lr"},{"id":"2202.10284","title":"A Review of Emerging Research Directions in Abstract Visual Reasoning","created":"2022-02-21","cited_by_count":33,"area":"lr"},{"id":"2410.08304","title":"Global Lyapunov functions: a long-standing open problem in mathematics, with symbolic transformers","created":"2024-10-10","cited_by_count":29,"area":"lr"},{"id":"2403.02054","title":"Large Language Model-Based Evolutionary Optimizer: Reasoning with elitism","created":"2024-03-04","cited_by_count":27,"area":"lr"},{"id":"2408.15778","title":"LogicGame: Benchmarking Rule-Based Reasoning Abilities of Large Language Models","created":"2024-08-28","cited_by_count":19,"area":"lr"},{"id":"2303.07735","title":"Can neural networks do arithmetic? A survey on the elementary numerical skills of state-of-the-art deep learning models","created":"2023-03-14","cited_by_count":18,"area":"lr"},{"id":"2505.12189","title":"Mitigating Content Effects on Reasoning in Language Models through Fine-Grained Activation Steering","created":"2025-05-18","cited_by_count":18,"area":"lr"},{"id":"2305.12563","title":"A Symbolic Framework for Evaluating Mathematical Reasoning and Generalisation with Transformers","created":"2023-05-21","cited_by_count":15,"area":"lr"},{"id":"2408.07089","title":"InfinityMATH: A Scalable Instruction Tuning Dataset in Programmatic Mathematical Reasoning","created":"2024-08-09","cited_by_count":15,"area":"lr"},{"id":"2303.11730","title":"Abstract Visual Reasoning: An Algebraic Approach for Solving Raven's Progressive Matrices","created":"2023-03-21","cited_by_count":9,"area":"lr"},{"id":"2207.02536","title":"Transformers discover an elementary calculation system exploiting local attention and grid-like problem representation","created":"2022-07-06","cited_by_count":7,"area":"lr"},{"id":"2502.13119","title":"STEER-ME: Assessing the Microeconomic Reasoning of Large Language Models","created":"2025-02-18","cited_by_count":7,"area":"lr"},{"id":"2210.02615","title":"Learning to Reason With Relational Abstractions","created":"2022-10-06","cited_by_count":5,"area":"lr"},{"id":"2508.00459","title":"Thinking Machines: Mathematical Reasoning in the Age of LLMs","created":"2025-08-01","cited_by_count":4,"area":"lr"},{"id":"2404.18384","title":"Exploring the Limits of Fine-grained LLM-based Physics Inference via Premise Removal Interventions","created":"2024-04-29","cited_by_count":3,"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":"2211.12006","title":"Differentiable Fuzzy $\\mathcal{ALC}$: A Neural-Symbolic Representation Language for Symbol Grounding","created":"2022-11-22","cited_by_count":1,"area":"lr"},{"id":"2212.10292","title":"Towards Unsupervised Visual Reasoning: Do Off-The-Shelf Features Know How to Reason?","created":"2022-12-20","cited_by_count":1,"area":"lr"},{"id":"2508.15766","title":"Discovering Hidden Algebraic Structures via Transformers with Rank-Aware Beam GRPO","created":"2025-08-21","cited_by_count":1,"area":"lr"},{"id":"2608.26550","title":"SPEAR: Distilling Domain-Adaptive Reasoning Skeletons via Sequential Symbolic Alignment in Reinforcement Learning","created":"2026-08-27","cited_by_count":1,"area":"lr"},{"id":"2509.01267","title":"Iterative In-Context Learning to Enhance LLMs Abstract Reasoning: The Case-Study of Algebraic Tasks","created":"2025-09-01","cited_by_count":0,"area":"lr"},{"id":"2601.13731","title":"Breaking the Data Barrier in Learning Symbolic Computation: A Case Study on Variable Ordering Suggestion for Cylindrical Algebraic Decomposition","created":"2026-01-20","cited_by_count":0,"area":"lr"},{"id":"2605.16675","title":"LinAlg-Bench: A Forensic Benchmark Revealing Structural Failure Modes in LLM Mathematical Reasoning","created":"2026-05-15","cited_by_count":0,"area":"lr"}],"next_cursor":null}