{"total":18,"rows":[{"id":"2304.05128","title":"Teaching Large Language Models to Self-Debug","created":"2023-04-11","cited_by_count":988,"area":"lr"},{"id":"2302.08468","title":"LEVER: Learning to Verify Language-to-Code Generation with Execution","created":"2023-02-16","cited_by_count":239,"area":"lr"},{"id":"2311.17311","title":"Universal Self-Consistency for Large Language Model Generation","created":"2023-11-29","cited_by_count":203,"area":"lr"},{"id":"2305.00633","title":"Self-Evaluation Guided Beam Search for Reasoning","created":"2023-05-01","cited_by_count":196,"area":"lr"},{"id":"2504.07164","title":"R2E-Gym: Procedural Environments and Hybrid Verifiers for Scaling Open-Weights SWE Agents","created":"2025-04-09","cited_by_count":158,"area":"lr"},{"id":"2309.05660","title":"Hypothesis Search: Inductive Reasoning with Language Models","created":"2023-09-11","cited_by_count":120,"area":"lr"},{"id":"2212.10561","title":"Parsel: Algorithmic Reasoning with Language Models by Composing Decompositions","created":"2022-12-20","cited_by_count":64,"area":"lr"},{"id":"2309.17272","title":"Enhancing Large Language Models in Coding Through Multi-Perspective Self-Consistency","created":"2023-09-29","cited_by_count":46,"area":"lr"},{"id":"2411.04329","title":"CodeTree: Agent-guided Tree Search for Code Generation with Large Language Models","created":"2024-11-07","cited_by_count":34,"area":"lr"},{"id":"2308.08784","title":"CodeCoT: Tackling Code Syntax Errors in CoT Reasoning for Code Generation","created":"2023-08-17","cited_by_count":29,"area":"lr"},{"id":"2403.13271","title":"Enhancing Code Generation Performance of Smaller Models by Distilling the Reasoning Ability of LLMs","created":"2024-03-20","cited_by_count":17,"area":"lr"},{"id":"2409.01281","title":"Path-Consistency with Prefix Enhancement for Efficient Inference in LLMs","created":"2024-08-25","cited_by_count":17,"area":"lr"},{"id":"2402.08147","title":"VerMCTS: Synthesizing Multi-Step Programs using a Verifier, a Large Language Model, and Tree Search","created":"2024-02-13","cited_by_count":14,"area":"lr"},{"id":"2507.06087","title":"CoRE: Enhancing Metacognition with Label-free Self-evaluation in LRMs","created":"2025-07-08","cited_by_count":5,"area":"lr"},{"id":"2508.00459","title":"Thinking Machines: Mathematical Reasoning in the Age of LLMs","created":"2025-08-01","cited_by_count":4,"area":"lr"},{"id":"2505.17482","title":"From Reasoning to Generalization: Knowledge-Augmented LLMs for ARC Benchmark","created":"2025-05-23","cited_by_count":2,"area":"lr"},{"id":"2605.08658","title":"Sketch-and-Verify: Structured Inference-Time Scaling via Program Sketching","created":"2026-05-09","cited_by_count":0,"area":"lr"},{"id":"2610.05170","title":"Verification Trap: Understanding Test-Time Selection Failures under False Premises in Code Generation","created":"2026-10-04","cited_by_count":0,"area":"lr"}],"next_cursor":null}