{"total":197,"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":"2407.01489","title":"Agentless: Demystifying LLM-based Software Engineering Agents","created":"2024-07-01","cited_by_count":421,"area":"agents"},{"id":"2401.03065","title":"CRUXEval: A Benchmark for Code Reasoning, Understanding and Execution","created":"2024-01-05","cited_by_count":300,"area":null},{"id":"2409.12183","title":"To CoT or not to CoT? Chain-of-thought helps mainly on math and symbolic reasoning","created":"2024-09-18","cited_by_count":263,"area":"lr"},{"id":"2312.02120","title":"Magicoder: Empowering Code Generation with OSS-Instruct","created":"2023-12-04","cited_by_count":256,"area":null},{"id":"2406.01297","title":"When Can LLMs Actually Correct Their Own Mistakes? A Critical Survey of Self-Correction of LLMs","created":"2024-06-03","cited_by_count":240,"area":null},{"id":"2309.16292","title":"DiLu: A Knowledge-Driven Approach to Autonomous Driving with Large Language Models","created":"2023-09-28","cited_by_count":207,"area":"driving"},{"id":"2409.02977","title":"Large Language Model-Based Agents for Software Engineering: A Survey","created":"2024-09-04","cited_by_count":178,"area":"agents"},{"id":"2310.15164","title":"LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers","created":"2023-10-23","cited_by_count":168,"area":"lr"},{"id":"2404.04834","title":"LLM-Based Multi-Agent Systems for Software Engineering: Literature Review, Vision and the Road Ahead","created":"2024-04-07","cited_by_count":155,"area":"agents"},{"id":"2508.03613","title":"Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction","created":"2025-08-05","cited_by_count":154,"area":"synth"},{"id":"2410.02089","title":"RLEF: Grounding Code LLMs in Execution Feedback with Reinforcement Learning","created":"2024-10-02","cited_by_count":151,"area":"lr"},{"id":"2406.16838","title":"From Decoding to Meta-Generation: Inference-time Algorithms for Large Language Models","created":"2024-06-24","cited_by_count":137,"area":null},{"id":"2311.03287","title":"Holistic Analysis of Hallucination in GPT-4V(ision): Bias and Interference Challenges","created":"2023-11-06","cited_by_count":131,"area":"mllm"},{"id":"2406.12373","title":"WebCanvas: Benchmarking Web Agents in Online Environments","created":"2024-06-18","cited_by_count":121,"area":"agents"},{"id":"2402.12275","title":"WorldCoder, a Model-Based LLM Agent: Building World Models by Writing Code and Interacting with the Environment","created":"2024-02-19","cited_by_count":107,"area":"wm"},{"id":"2505.15201","title":"Pass@K Policy Optimization: Solving Harder Reinforcement Learning Problems","created":"2025-05-21","cited_by_count":87,"area":"deeprl"},{"id":"2405.14918","title":"AnalogCoder: Analog Circuit Design via Training-Free Code Generation","created":"2024-05-23","cited_by_count":84,"area":null},{"id":"2412.14737","title":"On Verbalized Confidence Scores for LLMs","created":"2024-12-19","cited_by_count":83,"area":null},{"id":"2412.20367","title":"Enhancing Code LLMs with Reinforcement Learning in Code Generation: A Survey","created":"2024-12-29","cited_by_count":83,"area":null},{"id":"2501.11425","title":"Agent-R: Training Language Model Agents to Reflect via Iterative Self-Training","created":"2025-01-20","cited_by_count":82,"area":"lr"},{"id":"2311.11797","title":"Igniting Language Intelligence: The Hitchhiker's Guide From Chain-of-Thought Reasoning to Language Agents","created":"2023-11-20","cited_by_count":72,"area":"lr"},{"id":"2405.04760","title":"Large Language Models for Cyber Security: A Systematic Literature Review","created":"2024-05-08","cited_by_count":68,"area":null},{"id":"2310.17807","title":"Clover: Closed-Loop Verifiable Code Generation","created":"2023-10-26","cited_by_count":67,"area":null},{"id":"2405.17503","title":"Code Repair with LLMs gives an Exploration-Exploitation Tradeoff","created":"2024-05-26","cited_by_count":51,"area":null},{"id":"2312.12450","title":"Can It Edit? Evaluating the Ability of Large Language Models to Follow Code Editing Instructions","created":"2023-12-11","cited_by_count":48,"area":null},{"id":"2402.12563","title":"Confidence Matters: Revisiting Intrinsic Self-Correction Capabilities of Large Language Models","created":"2024-02-19","cited_by_count":47,"area":null},{"id":"2410.01215","title":"From Code to Correctness: Closing the Last Mile of Code Generation with Hierarchical Debugging","created":"2024-10-02","cited_by_count":46,"area":null},{"id":"2405.15383","title":"Generating Code World Models with Large Language Models Guided by Monte Carlo Tree Search","created":"2024-05-24","cited_by_count":40,"area":"wm"},{"id":"2501.02497","title":"A Survey of Test-Time Compute: From Intuitive Inference to Deliberate Reasoning","created":"2025-01-05","cited_by_count":40,"area":"lr"},{"id":"2408.01703","title":"WaitGPT: Monitoring and Steering Conversational LLM Agent in Data Analysis with On-the-Fly Code Visualization","created":"2024-08-03","cited_by_count":39,"area":"agents"},{"id":"2504.10478","title":"Weight Ensembling Improves Reasoning in Language Models","created":"2025-04-14","cited_by_count":38,"area":"lr"},{"id":"2507.14172","title":"Self-Improving Language Models for Evolutionary Program Synthesis: A Case Study on ARC-AGI","created":"2025-07-10","cited_by_count":36,"area":"synth"},{"id":"2405.01379","title":"Verification and Refinement of Natural Language Explanations through LLM-Symbolic Theorem Proving","created":"2024-05-02","cited_by_count":35,"area":null},{"id":"2501.07811","title":"CodeCoR: An LLM-Based Self-Reflective Multi-Agent Framework for Code Generation","created":"2025-01-14","cited_by_count":34,"area":"agents"},{"id":"2410.15756","title":"Automated Proof Generation for Rust Code via Self-Evolution","created":"2024-10-21","cited_by_count":33,"area":null},{"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":"2406.08316","title":"Is Programming by Example solved by LLMs?","created":"2024-06-12","cited_by_count":27,"area":null},{"id":"2407.02397","title":"Learning to Refine with Fine-Grained Natural Language Feedback","created":"2024-07-02","cited_by_count":27,"area":null},{"id":"2506.08379","title":"Reinforce LLM Reasoning through Multi-Agent Reflection","created":"2025-06-10","cited_by_count":27,"area":"lr"},{"id":"2505.23671","title":"GSO: Challenging Software Optimization Tasks for Evaluating SWE-Agents","created":"2025-05-29","cited_by_count":25,"area":"agents"},{"id":"2402.12317","title":"EVOR: Evolving Retrieval for Code Generation","created":"2024-02-19","cited_by_count":22,"area":"rag"},{"id":"2404.17672","title":"BlenderAlchemy: Editing 3D Graphics with Vision-Language Models","created":"2024-04-26","cited_by_count":22,"area":"mllm"},{"id":"2408.16119","title":"Data Formulator 2: Iterative Creation of Data Visualizations, with AI Transforming Data Along the Way","created":"2024-08-28","cited_by_count":21,"area":null},{"id":"2409.05001","title":"A Pair Programming Framework for Code Generation via Multi-Plan Exploration and Feedback-Driven Refinement","created":"2024-09-08","cited_by_count":21,"area":null},{"id":"2412.15118","title":"Reasoning Through Execution: Unifying Process and Outcome Rewards for Code Generation","created":"2024-12-19","cited_by_count":21,"area":"lr"},{"id":"2402.19475","title":"The Counterfeit Conundrum: Can Code Language Models Grasp the Nuances of Their Incorrect Generations?","created":"2024-02-29","cited_by_count":20,"area":null},{"id":"2404.06510","title":"Can Large Vision-Language Models Correct Semantic Grounding Errors By Themselves?","created":"2024-04-09","cited_by_count":20,"area":"mllm"},{"id":"2503.21557","title":"debug-gym: A Text-Based Environment for Interactive Debugging","created":"2025-03-27","cited_by_count":19,"area":"agents"},{"id":"2504.15254","title":"CRUST-Bench: A Comprehensive Benchmark for C-to-safe-Rust Transpilation","created":"2025-04-21","cited_by_count":19,"area":null},{"id":"2311.09868","title":"INTERVENOR: Prompting the Coding Ability of Large Language Models with the Interactive Chain of Repair","created":"2023-11-16","cited_by_count":18,"area":null},{"id":"2502.01619","title":"Learning to Generate Unit Tests for Automated Debugging","created":"2025-02-03","cited_by_count":17,"area":null},{"id":"2406.02378","title":"On the Intrinsic Self-Correction Capability of LLMs: Uncertainty and Latent Concept","created":"2024-06-04","cited_by_count":16,"area":null},{"id":"2412.14234","title":"Syzygy: Dual Code-Test C to (safe) Rust Translation using LLMs and Dynamic Analysis","created":"2024-12-18","cited_by_count":16,"area":null},{"id":"2401.05319","title":"Leveraging Print Debugging to Improve Code Generation in Large Language Models","created":"2024-01-10","cited_by_count":15,"area":null},{"id":"2504.13828","title":"Generative AI Act II: Test Time Scaling Drives Cognition Engineering","created":"2025-04-18","cited_by_count":15,"area":"lr"},{"id":"2512.02304","title":"When Does Verification Pay Off? A Closer Look at LLMs as Solution Verifiers","created":"2025-12-02","cited_by_count":15,"area":null},{"id":"2401.12947","title":"Transformer-Based Models Are Not Yet Perfect At Learning to Emulate Structural Recursion","created":"2024-01-23","cited_by_count":14,"area":null},{"id":"2502.10802","title":"CoCoEvo: Co-Evolution of Programs and Test Cases to Enhance Code Generation","created":"2025-02-15","cited_by_count":14,"area":null},{"id":"2502.19852","title":"ConvCodeWorld: Benchmarking Conversational Code Generation in Reproducible Feedback Environments","created":"2025-02-27","cited_by_count":14,"area":null},{"id":"2405.16450","title":"Synthesizing Programmatic Reinforcement Learning Policies with Large Language Model Guided Search","created":"2024-05-26","cited_by_count":13,"area":null},{"id":"2406.10834","title":"Exposing the Achilles' Heel: Evaluating LLMs Ability to Handle Mistakes in Mathematical Reasoning","created":"2024-06-16","cited_by_count":13,"area":"lr"},{"id":"2408.05006","title":"COAST: Enhancing the Code Debugging Ability of LLMs through Communicative Agent Based Data Synthesis","created":"2024-08-09","cited_by_count":13,"area":"agents"},{"id":"2502.08550","title":"No Need for Explanations: LLMs can implicitly learn from mistakes in-context","created":"2025-02-12","cited_by_count":13,"area":null},{"id":"2506.04894","title":"ICPC-Eval: Probing the Frontiers of LLM Reasoning with Competitive Programming Contests","created":"2025-06-05","cited_by_count":13,"area":"lr"},{"id":"2410.01242","title":"RGD: Multi-LLM Based Agent Debugger via Refinement and Generation Guidance","created":"2024-10-02","cited_by_count":12,"area":"agents"},{"id":"2409.09464","title":"Measuring the Influence of Incorrect Code on Test Generation","created":"2024-09-14","cited_by_count":11,"area":null},{"id":"2412.15305","title":"Tree-of-Code: A Tree-Structured Exploring Framework for End-to-End Code Generation and Execution in Complex Task Handling","created":"2024-12-19","cited_by_count":11,"area":"lr"},{"id":"2504.15219","title":"EvalAgent: Discovering Implicit Evaluation Criteria from the Web","created":"2025-04-21","cited_by_count":11,"area":null},{"id":"2511.04662","title":"VeriCoT: Neuro-symbolic Chain-of-Thought Validation via Logical Consistency Checks","created":"2025-11-06","cited_by_count":11,"area":"lr"},{"id":"2411.05010","title":"Scattered Forest Search: Smarter Code Space Exploration with LLMs","created":"2024-10-22","cited_by_count":10,"area":"lr"},{"id":"2312.15960","title":"MoTCoder: Elevating Large Language Models with Modular of Thought for Challenging Programming Tasks","created":"2023-12-26","cited_by_count":9,"area":"lr"},{"id":"2403.00827","title":"Self-Refinement of Language Models from External Proxy Metrics Feedback","created":"2024-02-27","cited_by_count":9,"area":null},{"id":"2412.11014","title":"CoopetitiveV: Leveraging LLM-powered Coopetitive Multi-Agent Prompting for High-quality Verilog Generation","created":"2024-12-15","cited_by_count":9,"area":"agents"},{"id":"2501.18623","title":"VLMaterial: Procedural Material Generation with Large Vision-Language Models","created":"2025-01-27","cited_by_count":9,"area":"mllm"},{"id":"2503.15272","title":"MAMM-Refine: A Recipe for Improving Faithfulness in Generation with Multi-Agent Collaboration","created":"2025-03-19","cited_by_count":9,"area":"agents"},{"id":"2407.02518","title":"INDICT: Code Generation with Internal Dialogues of Critiques for Both Security and Helpfulness","created":"2024-06-23","cited_by_count":8,"area":null},{"id":"2410.12207","title":"Divide-Verify-Refine: Can LLMs Self-Align with Complex Instructions?","created":"2024-10-16","cited_by_count":8,"area":null},{"id":"2504.04220","title":"AdaCoder: An Adaptive Planning and Multi-Agent Framework for Function-Level Code Generation","created":"2025-04-05","cited_by_count":8,"area":"agents"},{"id":"2406.02383","title":"Learning to Edit Visual Programs with Self-Supervision","created":"2024-06-04","cited_by_count":7,"area":null},{"id":"2406.05053","title":"Hints-In-Browser: Benchmarking Language Models for Programming Feedback Generation","created":"2024-06-07","cited_by_count":7,"area":null},{"id":"2502.19414","title":"Can Language Models Falsify? Evaluating Algorithmic Reasoning with Counterexample Creation","created":"2025-02-26","cited_by_count":7,"area":"lr"},{"id":"2504.02902","title":"Beyond Accuracy: The Role of Calibration in Self-Improving Large Language Models","created":"2025-04-03","cited_by_count":7,"area":"synth"},{"id":"2511.16004","title":"InfCode: Adversarial Iterative Refinement of Tests and Patches for Reliable Software Issue Resolution","created":"2025-11-20","cited_by_count":7,"area":null},{"id":"2604.01029","title":"Revision or Re-Solving? Decomposing Second-Pass Gains in Multi-LLM Pipelines","created":"2026-04-01","cited_by_count":7,"area":null},{"id":"2406.03636","title":"Synthetic Programming Elicitation for Text-to-Code in Very Low-Resource Programming and Formal Languages","created":"2024-06-05","cited_by_count":6,"area":null},{"id":"2409.05923","title":"$\\mathbb{USCD}$: Improving Code Generation of LLMs by Uncertainty-Aware Selective Contrastive Decoding","created":"2024-09-09","cited_by_count":6,"area":null},{"id":"2409.18475","title":"Data Analysis in the Era of Generative AI","created":"2024-09-27","cited_by_count":6,"area":null},{"id":"2412.14841","title":"Helping LLMs Improve Code Generation Using Feedback from Testing and Static Analysis","created":"2024-12-19","cited_by_count":6,"area":null},{"id":"2504.13472","title":"CodeVisionary: An Agent-based Framework for Evaluating Large Language Models in Code Generation","created":"2025-04-18","cited_by_count":6,"area":"agents"},{"id":"2505.18555","title":"Unraveling Misinformation Propagation in LLM Reasoning","created":"2025-05-24","cited_by_count":6,"area":"lr"},{"id":"2509.02330","title":"ReCode: Improving LLM-based Code Repair with Fine-Grained Retrieval-Augmented Generation","created":"2025-09-02","cited_by_count":6,"area":"rag"},{"id":"2601.08517","title":"Closed-Loop LLM Discovery of Non-Standard Channel Priors in Vision Models","created":"2026-01-13","cited_by_count":6,"area":null},{"id":"2604.09921","title":"A Tale of Two Temperatures: Simple, Efficient, and Diverse Sampling from Diffusion Language Models","created":"2026-04-10","cited_by_count":5,"area":"diffusion"},{"id":"2604.10508","title":"How Many Tries Does It Take? Iterative Self-Repair in LLM Code Generation Across Model Scales and Benchmarks","created":"2026-04-12","cited_by_count":5,"area":null},{"id":"2604.13120","title":"AgentForge: Execution-Grounded Multi-Agent LLM Framework for Autonomous Software Engineering","created":"2026-04-13","cited_by_count":5,"area":"agents"},{"id":"2605.11556","title":"Hindsight Hint Distillation: Scaffolded Reasoning for SWE Agents from CoT-free Answers","created":"2026-05-12","cited_by_count":5,"area":"lr"},{"id":"2403.16921","title":"PropTest: Automatic Property Testing for Improved Visual Programming","created":"2024-03-25","cited_by_count":4,"area":"lr"},{"id":"2406.11935","title":"A Problem-Oriented Perspective and Anchor Verification for Code Optimization","created":"2024-06-17","cited_by_count":4,"area":null},{"id":"2408.13745","title":"DOCE: Finding the Sweet Spot for Execution-Based Code Generation","created":"2024-08-25","cited_by_count":4,"area":null}],"next_cursor":"100"}