{"total":19,"rows":[{"id":"2603.02112","title":"Recursive Models for Long-Horizon Reasoning","created":"2026-03-02","cited_by_count":9,"area":"lr"},{"id":"2601.14290","title":"Project Aletheia: Verifier-Guided Distillation of Backtracking for Small Language Models","created":"2026-01-14","cited_by_count":8,"area":"lr"},{"id":"2603.02119","title":"Pencil Puzzle Bench: A Benchmark for Multi-Step Verifiable Reasoning","created":"2026-03-02","cited_by_count":5,"area":"lr"},{"id":"2606.20905","title":"Vesta: A Generalist Embodied Reasoning Model","created":"2026-06-18","cited_by_count":5,"area":"lr"},{"id":"2603.12133","title":"TopoBench: Benchmarking LLMs on Hard Topological Reasoning","created":"2026-03-12","cited_by_count":3,"area":"lr"},{"id":"2509.01619","title":"Throttling Web Agents Using Reasoning Gates","created":"2025-09-01","cited_by_count":2,"area":"lr"},{"id":"2602.08939","title":"CausalT5k: Diagnosing Refusal and Failure Modes in Trustworthy Causal Reasoning Across Causal Rungs","created":"2026-02-09","cited_by_count":2,"area":"lr"},{"id":"2605.15454","title":"Reasoning Models Don't Just Think Longer, They Move Differently","created":"2026-05-14","cited_by_count":2,"area":"lr"},{"id":"2510.09227","title":"RegexPSPACE: A Benchmark for Evaluating LLM Reasoning on PSPACE-complete Regex Problems","created":"2025-10-10","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":"2608.03291","title":"The Tell-Tale Trace: Detecting Reasoning Failures in LLMs Using Chain-of-Thought Dynamics","created":"2026-08-04","cited_by_count":1,"area":"lr"},{"id":"2508.15180","title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data","created":"2025-08-21","cited_by_count":0,"area":"lr"},{"id":"2604.14525","title":"Quantifying Cross-Query Contradictions in Multi-Query LLM Reasoning","created":"2026-04-16","cited_by_count":0,"area":"lr"},{"id":"2606.05464","title":"Step-by-Step Optimization-like Reasoning in LLMs over Expanding Search Spaces","created":"2026-06-03","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":"2607.17047","title":"Solver-Hard Is Not Model-Hard: A Hardness-Controlled Diagnostic for LLM Constraint Reasoning","created":"2026-07-19","cited_by_count":0,"area":"lr"},{"id":"2609.32927","title":"The Geometry of Logic: Stratification Induces Semantic Structure and Robust Reasoning","created":"2026-09-26","cited_by_count":0,"area":"lr"},{"id":"2610.01605","title":"Hob-VL: A Benchmark for Visually Grounded Boolean Reasoning","created":"2026-10-01","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}