{"total":22,"rows":[{"id":"2310.16049","title":"MuSR: Testing the Limits of Chain-of-thought with Multistep Soft Reasoning","created":"2023-10-24","cited_by_count":201,"area":"lr"},{"id":"2502.19187","title":"BIG-Bench Extra Hard","created":"2025-02-26","cited_by_count":125,"area":"lr"},{"id":"2410.23123","title":"On Memorization of Large Language Models in Logical Reasoning","created":"2024-10-30","cited_by_count":117,"area":"lr"},{"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":"2406.09170","title":"Test of Time: A Benchmark for Evaluating LLMs on Temporal Reasoning","created":"2024-06-13","cited_by_count":88,"area":"lr"},{"id":"2506.01062","title":"SealQA: Raising the Bar for Reasoning in Search-Augmented Language Models","created":"2025-06-01","cited_by_count":75,"area":"lr"},{"id":"2402.05808","title":"Training Large Language Models for Reasoning through Reverse Curriculum Reinforcement Learning","created":"2024-02-08","cited_by_count":65,"area":"lr"},{"id":"2402.11291","title":"Puzzle Solving using Reasoning of Large Language Models: A Survey","created":"2024-02-17","cited_by_count":45,"area":"lr"},{"id":"2406.17169","title":"Multi-LogiEval: Towards Evaluating Multi-Step Logical Reasoning Ability of Large Language Models","created":"2024-06-24","cited_by_count":39,"area":"lr"},{"id":"2406.09175","title":"ReMI: A Dataset for Reasoning with Multiple Images","created":"2024-06-13","cited_by_count":30,"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":"2409.12929","title":"LogicPro: Improving Complex Logical Reasoning via Program-Guided Learning","created":"2024-09-19","cited_by_count":14,"area":"lr"},{"id":"2407.03181","title":"Fine-Tuning on Diverse Reasoning Chains Drives Within-Inference CoT Refinement in LLMs","created":"2024-07-03","cited_by_count":12,"area":"lr"},{"id":"2409.12437","title":"Enhancing Logical Reasoning in Large Language Models through Graph-based Synthetic Data","created":"2024-09-19","cited_by_count":8,"area":"lr"},{"id":"2506.14927","title":"MDBench: A Synthetic Multi-Document Reasoning Benchmark Generated with Knowledge Guidance","created":"2025-06-17","cited_by_count":3,"area":"lr"},{"id":"2508.13718","title":"Generics and Default Reasoning in Large Language Models","created":"2025-08-19","cited_by_count":1,"area":"lr"},{"id":"2508.19484","title":"Rule Synergy Analysis using LLMs: State of the Art and Implications","created":"2025-08-27","cited_by_count":1,"area":"lr"},{"id":"2602.12665","title":"Evaluating Robustness of Reasoning Models on Parameterized Logical Problems","created":"2026-02-13","cited_by_count":1,"area":"lr"},{"id":"2605.18851","title":"STRIDE: Learnable Stepwise Language Feedback for LLM Reasoning","created":"2026-05-13","cited_by_count":1,"area":"lr"},{"id":"2603.20267","title":"Domain-Specialized Tree of Thought through Plug-and-Play Predictors","created":"2026-03-14","cited_by_count":0,"area":"lr"},{"id":"2609.38409","title":"ArgGYM: A Procedural, Engine-Verified Benchmark for Structured Defeasible Reasoning","created":"2026-09-29","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}