{"total":22,"rows":[{"id":"2409.12917","title":"Training Language Models to Self-Correct via Reinforcement Learning","created":"2024-09-19","cited_by_count":426,"area":"lr"},{"id":"2503.24235","title":"A Survey on Test-Time Scaling in Large Language Models: What, How, Where, and How Well?","created":"2025-03-31","cited_by_count":223,"area":"lr"},{"id":"2502.19411","title":"Code to Think, Think to Code: A Survey on Code-Enhanced Reasoning and Reasoning-Driven Code Intelligence in LLMs","created":"2025-02-26","cited_by_count":47,"area":"lr"},{"id":"2502.03492","title":"Teaching Language Models to Critique via Reinforcement Learning","created":"2025-02-05","cited_by_count":42,"area":"lr"},{"id":"2505.22411","title":"Mitigating Overthinking in Large Reasoning Models via Manifold Steering","created":"2025-05-28","cited_by_count":33,"area":"lr"},{"id":"2410.08105","title":"What Makes Large Language Models Reason in (Multi-Turn) Code Generation?","created":"2024-10-10","cited_by_count":29,"area":"lr"},{"id":"2502.12466","title":"EquiBench: Benchmarking Large Language Models' Reasoning about Program Semantics via Equivalence Checking","created":"2025-02-18","cited_by_count":24,"area":"lr"},{"id":"2503.23145","title":"CodeARC: Benchmarking Reasoning Capabilities of LLM Agents for Inductive Program Synthesis","created":"2025-03-29","cited_by_count":16,"area":"lr"},{"id":"2504.14119","title":"CodeCrash: Exposing LLM Fragility to Misleading Natural Language in Code Reasoning","created":"2025-04-19","cited_by_count":14,"area":"lr"},{"id":"2501.18482","title":"A Tool for In-depth Analysis of Code Execution Reasoning of Large Language Models","created":"2025-01-30","cited_by_count":7,"area":"lr"},{"id":"2503.19599","title":"HoarePrompt: Structural Reasoning About Program Correctness in Natural Language","created":"2025-03-25","cited_by_count":7,"area":"lr"},{"id":"2510.03415","title":"LLMs Lean on Priors, Not Programming Language Semantics","created":"2025-10-03","cited_by_count":6,"area":"lr"},{"id":"2603.11226","title":"ExecVerify: White-Box RL with Verifiable Stepwise Rewards for Code Execution Reasoning","created":"2026-03-11","cited_by_count":6,"area":"lr"},{"id":"2503.22832","title":"L0-Reasoning Bench: Evaluating Procedural Correctness in Language Models via Simple Program Execution","created":"2025-03-28","cited_by_count":5,"area":"lr"},{"id":"2507.17548","title":"CodeReasoner: Enhancing the Code Reasoning Ability with Reinforcement Learning","created":"2025-07-23","cited_by_count":4,"area":"lr"},{"id":"2509.26546","title":"Towards Verified Code Reasoning by LLMs","created":"2025-09-30","cited_by_count":4,"area":"lr"},{"id":"2603.02787","title":"Rethinking Code Similarity for Automated Algorithm Design with LLMs","created":"2026-03-03","cited_by_count":3,"area":"lr"},{"id":"2509.22546","title":"Think Socially via Cognitive Reasoning","created":"2025-09-26","cited_by_count":2,"area":"lr"},{"id":"2507.05065","title":"Replacing thinking with tool usage enables reasoning in small language models","created":"2025-07-07","cited_by_count":1,"area":"lr"},{"id":"2512.00127","title":"Generating Verifiable Chain of Thoughts from Exection-Traces","created":"2025-11-28","cited_by_count":0,"area":"lr"},{"id":"2609.34359","title":"Improving Large Language Models for Code through Runtime Program-State Reasoning","created":"2026-09-28","cited_by_count":0,"area":"lr"},{"id":"2610.04737","title":"PyINE: A Framework for Scalable Elicitation and Oversight via Code Execution","created":"2026-10-03","cited_by_count":0,"area":"lr"}],"next_cursor":null}