{"total":35,"rows":[{"id":"2312.12241","title":"GeomVerse: A Systematic Evaluation of Large Models for Geometric Reasoning","created":"2023-12-19","cited_by_count":108,"area":"lr"},{"id":"2402.19450","title":"Functional Benchmarks for Robust Evaluation of Reasoning Performance, and the Reasoning Gap","created":"2024-02-29","cited_by_count":79,"area":"lr"},{"id":"2502.12289","title":"Evaluating Step-by-step Reasoning Traces: A Survey","created":"2025-02-17","cited_by_count":63,"area":"lr"},{"id":"2504.09710","title":"DUMP: Automated Distribution-Level Curriculum Learning for RL-based LLM Post-training","created":"2025-04-13","cited_by_count":46,"area":"lr"},{"id":"2306.07934","title":"BoardgameQA: A Dataset for Natural Language Reasoning with Contradictory Information","created":"2023-06-13","cited_by_count":44,"area":"lr"},{"id":"2502.16906","title":"AutoLogi: Automated Generation of Logic Puzzles for Evaluating Reasoning Abilities of Large Language Models","created":"2025-02-24","cited_by_count":31,"area":"lr"},{"id":"2411.12498","title":"Enhancing Reasoning Capabilities of LLMs via Principled Synthetic Logic Corpus","created":"2024-11-19","cited_by_count":29,"area":"lr"},{"id":"2502.06563","title":"Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluation","created":"2025-02-10","cited_by_count":28,"area":"lr"},{"id":"2412.08972","title":"RuleArena: A Benchmark for Rule-Guided Reasoning with LLMs in Real-World Scenarios","created":"2024-12-12","cited_by_count":27,"area":"lr"},{"id":"2505.15801","title":"VerifyBench: Benchmarking Reference-based Reward Systems for Large Language Models","created":"2025-05-21","cited_by_count":20,"area":"lr"},{"id":"2408.13654","title":"Symbolic Working Memory Enhances Language Models for Complex Rule Application","created":"2024-08-24","cited_by_count":17,"area":"lr"},{"id":"2407.02514","title":"LOGIC-LM++: Multi-Step Refinement for Symbolic Formulations","created":"2024-06-22","cited_by_count":14,"area":"lr"},{"id":"2409.12929","title":"LogicPro: Improving Complex Logical Reasoning via Program-Guided Learning","created":"2024-09-19","cited_by_count":14,"area":"lr"},{"id":"2509.03059","title":"Loong: Synthesize Long Chain-of-Thoughts at Scale through Verifiers","created":"2025-09-03","cited_by_count":14,"area":"lr"},{"id":"2302.06729","title":"STREET: A Multi-Task Structured Reasoning and Explanation Benchmark","created":"2023-02-13","cited_by_count":13,"area":"lr"},{"id":"2501.14540","title":"VERUS-LM: a Versatile Framework for Combining LLMs with Symbolic Reasoning","created":"2025-01-24","cited_by_count":12,"area":"lr"},{"id":"2601.20055","title":"VERGE: Formal Refinement and Guidance Engine for Verifiable LLM Reasoning","created":"2026-01-27","cited_by_count":12,"area":"lr"},{"id":"2205.08794","title":"LogiGAN: Learning Logical Reasoning via Adversarial Pre-training","created":"2022-05-18","cited_by_count":11,"area":"lr"},{"id":"2506.04611","title":"Revisiting Test-Time Scaling: A Survey and a Diversity-Aware Method for Efficient Reasoning","created":"2025-06-05","cited_by_count":9,"area":"lr"},{"id":"2305.13718","title":"Exploring Self-supervised Logic-enhanced Training for Large Language Models","created":"2023-05-23","cited_by_count":8,"area":"lr"},{"id":"2410.11900","title":"FLARE: Faithful Logic-Aided Reasoning and Exploration","created":"2024-10-14","cited_by_count":7,"area":"lr"},{"id":"2410.09528","title":"Boosting Deductive Reasoning with Step Signals In RLHF","created":"2024-10-12","cited_by_count":4,"area":"lr"},{"id":"2210.11265","title":"Disentangling Reasoning Capabilities from Language Models with Compositional Reasoning Transformers","created":"2022-10-20","cited_by_count":3,"area":"lr"},{"id":"2401.13246","title":"SEER: Facilitating Structured Reasoning and Explanation via Reinforcement Learning","created":"2024-01-24","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":"2512.03360","title":"From Hypothesis to Premises: LLM-based Backward Logical Reasoning with Selective Symbolic Translation","created":"2025-12-03","cited_by_count":2,"area":"lr"},{"id":"2306.12069","title":"Modeling Hierarchical Reasoning Chains by Linking Discourse Units and Key Phrases for Reading Comprehension","created":"2023-06-21","cited_by_count":1,"area":"lr"},{"id":"2405.19109","title":"PathReasoner: Modeling Reasoning Path with Equivalent Extension for Logical Question Answering","created":"2024-05-29","cited_by_count":1,"area":"lr"},{"id":"2602.21044","title":"LogicGraph : Benchmarking Multi-Path Logical Reasoning via Neuro-Symbolic Generation and Verification","created":"2026-02-24","cited_by_count":1,"area":"lr"},{"id":"2605.08755","title":"LAQuant: A Simple Overhead-free Large Reasoning Model Quantization by Layer-wise Lookahead Loss","created":"2026-05-09","cited_by_count":1,"area":"lr"},{"id":"2606.06635","title":"How Language Models Fail: Token-Level Signatures of Committed and Persistent Reasoning Failures","created":"2026-06-04","cited_by_count":1,"area":"lr"},{"id":"2606.02673","title":"Visual Graph Scaffolds for Structural Reasoning in Large Language Models","created":"2026-06-01","cited_by_count":0,"area":"lr"},{"id":"2606.13020","title":"SciR: A Controllable Benchmark for Scientific Reasoning in LLMs","created":"2026-06-11","cited_by_count":0,"area":"lr"},{"id":"2608.26832","title":"RuleWeaver: Benchmarking Rule-Centered Scenario Reasoning for Large Language Models","created":"2026-08-27","cited_by_count":0,"area":"lr"},{"id":"2610.14402","title":"SAT-RL: Training Language Models for Logical Reasoning with Symbolic Solvers","created":"2026-10-09","cited_by_count":0,"area":"lr"}],"next_cursor":null}