{"total":19,"rows":[{"id":"2502.12289","title":"Evaluating Step-by-step Reasoning Traces: A Survey","created":"2025-02-17","cited_by_count":63,"area":"lr"},{"id":"2504.00294","title":"Inference-Time Scaling for Complex Tasks: Where We Stand and What Lies Ahead","created":"2025-03-31","cited_by_count":44,"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":"2406.02787","title":"Disentangling Logic: The Role of Context in Large Language Model Reasoning Capabilities","created":"2024-06-04","cited_by_count":22,"area":"lr"},{"id":"2402.02611","title":"FCoReBench: Can Large Language Models Solve Challenging First-Order Combinatorial Reasoning Problems?","created":"2024-02-04","cited_by_count":16,"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":"2504.03930","title":"Have Large Language Models Learned to Reason? A Characterization via 3-SAT Phase Transition","created":"2025-04-04","cited_by_count":14,"area":"lr"},{"id":"2408.07215","title":"Can Large Language Models Reason? A Characterization via 3-SAT","created":"2024-08-13","cited_by_count":12,"area":"lr"},{"id":"2506.02648","title":"Truly Assessing Fluid Intelligence of Large Language Models through Dynamic Reasoning Evaluation","created":"2025-06-03","cited_by_count":6,"area":"lr"},{"id":"2403.01777","title":"NPHardEval4V: Dynamic Evaluation of Large Vision-Language Models with Effects of Vision","created":"2024-03-04","cited_by_count":5,"area":"lr"},{"id":"2503.15113","title":"Reasoning Effort and Problem Complexity: A Scaling Analysis in LLMs","created":"2025-03-19","cited_by_count":3,"area":"lr"},{"id":"2508.13003","title":"EvolMathEval: Towards Evolvable Benchmarks for Mathematical Reasoning via Evolutionary Testing","created":"2025-08-18","cited_by_count":3,"area":"lr"},{"id":"2508.15878","title":"Lean Meets Theoretical Computer Science: Scalable Synthesis of Theorem Proving Challenges in Formal-Informal Pairs","created":"2025-08-21","cited_by_count":3,"area":"lr"},{"id":"2506.07202","title":"Reasoning Multimodal Large Language Model: Data Contamination and Dynamic Evaluation","created":"2025-06-08","cited_by_count":2,"area":"lr"},{"id":"2506.10527","title":"LogiPlan: A Structured Benchmark for Logical Planning and Relational Reasoning in LLMs","created":"2025-06-12","cited_by_count":2,"area":"lr"},{"id":"2501.02825","title":"Randomly Sampled Language Reasoning Problems Elucidate Limitations of In-Context Learning","created":"2025-01-06","cited_by_count":1,"area":"lr"},{"id":"2509.06174","title":"From Long to Short: LLMs Excel at Trimming Own Reasoning Chains","created":"2025-09-07","cited_by_count":0,"area":"lr"},{"id":"2603.05290","title":"X-RAY: Mapping LLM Reasoning Capability via Formalized and Calibrated Probes","created":"2026-03-05","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}