{"total":107,"rows":[{"id":"2401.03065","title":"CRUXEval: A Benchmark for Code Reasoning, Understanding and Execution","created":"2024-01-05","cited_by_count":300,"area":null},{"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":"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":"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":"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.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":"2410.15756","title":"Automated Proof Generation for Rust Code via Self-Evolution","created":"2024-10-21","cited_by_count":33,"area":null},{"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":"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":"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":"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":"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":"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":"2409.09464","title":"Measuring the Influence of Incorrect Code on Test Generation","created":"2024-09-14","cited_by_count":11,"area":null},{"id":"2504.15219","title":"EvalAgent: Discovering Implicit Evaluation Criteria from the Web","created":"2025-04-21","cited_by_count":11,"area":null},{"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":"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":"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":"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":"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.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":"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},{"id":"2508.12903","title":"A Stitch in Time Saves Nine: Proactive Self-Refinement for Language Models","created":"2025-08-18","cited_by_count":4,"area":null},{"id":"2601.13398","title":"Can LLMs Compress (and Decompress)? Evaluating Code Understanding and Execution via Invertibility","created":"2026-01-19","cited_by_count":4,"area":null},{"id":"2605.08717","title":"Debugging the Debuggers: Failure-Anchored Structured Recovery for Software Engineering Agents","created":"2026-05-09","cited_by_count":4,"area":null},{"id":"2606.31511","title":"Falsification, Not Exposure: An Internally Preregistered Placebo-Controlled Decomposition of Self-Repair Feedback in Frozen Small Code Models","created":"2026-06-30","cited_by_count":4,"area":null},{"id":"2607.21656","title":"Cross-Model LLM Code Review: Should you use Claude to review Codex or vice versa?","created":"2026-07-22","cited_by_count":4,"area":null},{"id":"2310.00483","title":"Prompting Code Interpreter to Write Better Unit Tests on Quixbugs Functions","created":"2023-09-30","cited_by_count":3,"area":null},{"id":"2312.00024","title":"Can LLMs Patch Security Issues?","created":"2023-11-13","cited_by_count":3,"area":null},{"id":"2502.17441","title":"Renaissance of Literate Programming in the Era of LLMs: Enhancing LLM-Based Code Generation in Large-Scale Projects","created":"2024-12-25","cited_by_count":3,"area":null},{"id":"2504.03048","title":"LLM Library Learning Fails: A LEGO-Prover Case Study","created":"2025-04-03","cited_by_count":3,"area":null},{"id":"2602.06098","title":"A Theoretical Analysis of Test-Driven Code Generation","created":"2026-02-05","cited_by_count":3,"area":null},{"id":"2603.18388","title":"Reflection in the Dark: Exposing and Escaping the Black Box in Reflective Prompt Optimization","created":"2026-03-19","cited_by_count":3,"area":null},{"id":"2604.03253","title":"Self-Execution Simulation Improves Coding Models","created":"2026-03-11","cited_by_count":3,"area":null},{"id":"2410.15966","title":"Self-Explained Keywords Empower Large Language Models for Code Generation","created":"2024-10-21","cited_by_count":2,"area":null},{"id":"2411.13269","title":"Towards Specification-Driven LLM-Based Generation of Embedded Automotive Software","created":"2024-11-20","cited_by_count":2,"area":null},{"id":"2501.01237","title":"Self-Refinement Strategies for LLM-based Product Attribute Value Extraction","created":"2025-01-02","cited_by_count":2,"area":null},{"id":"2509.25203","title":"Generating High-Quality Datasets for Code Editing via Open-Source Language Models","created":"2025-09-19","cited_by_count":2,"area":null},{"id":"2511.09373","title":"Routesplain: Towards Faithful and Intervenable Routing for Software-related Tasks","created":"2025-11-12","cited_by_count":2,"area":null},{"id":"2604.20398","title":"WebGen-R1: Incentivizing Large Language Models to Generate Functional and Aesthetic Websites with Reinforcement Learning","created":"2026-04-22","cited_by_count":2,"area":null},{"id":"2605.26807","title":"HTMLCure: Turning Browser Experience into State Guided Repair for Interactive HTML","created":"2026-05-26","cited_by_count":2,"area":null},{"id":"2607.12962","title":"Form, Not Content? A Preregistered, Placebo-Controlled Evaluation of Learned Error-Conditioned Self-Repair Through Prompts and Weights in Frozen Small Code Models","created":"2026-07-14","cited_by_count":2,"area":null},{"id":"2607.26117","title":"Try Again, Don't Look Back: Blind Resampling Outperforms Self-Repair in Small Code Models","created":"2026-07-28","cited_by_count":2,"area":null},{"id":"2406.14313","title":"Iterative Repair with Weak Verifiers for Few-shot Transfer in KBQA with Unanswerability","created":"2024-06-20","cited_by_count":1,"area":null},{"id":"2407.19055","title":"Effective Large Language Model Debugging with Best-first Tree Search","created":"2024-07-26","cited_by_count":1,"area":null},{"id":"2505.14744","title":"Beyond Either-Or Reasoning: Transduction and Induction as Cooperative Problem-Solving Paradigms","created":"2025-05-20","cited_by_count":1,"area":null},{"id":"2511.10855","title":"ExPairT-LLM: Exact Learning for LLM Code Selection by Pairwise Queries","created":"2025-11-13","cited_by_count":1,"area":null},{"id":"2602.01187","title":"Autoregressive, Yet Revisable: In Decoding Revision for Secure Code Generation","created":"2026-02-01","cited_by_count":1,"area":null},{"id":"2606.19317","title":"Explaining Attention with Program Synthesis","created":"2026-06-17","cited_by_count":1,"area":null},{"id":"2607.04562","title":"Heaviside Continuity of Rolling Coefficients for Eliminating Epistemic Entropy in Large Language Models","created":"2026-07-06","cited_by_count":1,"area":null},{"id":"2404.14680","title":"Automated Multi-Language to English Machine Translation Using Generative Pre-Trained Transformers","created":"2024-04-23","cited_by_count":0,"area":null},{"id":"2406.14867","title":"Investigating the Transferability of Code Repair for Low-Resource Programming Languages","created":"2024-06-21","cited_by_count":0,"area":null},{"id":"2503.01098","title":"Towards Automated Smart Contract Generation: Evaluation, Benchmarking, and Retrieval-Augmented Repair","created":"2025-03-03","cited_by_count":0,"area":null},{"id":"2508.04279","title":"Mockingbird: How does LLM perform in general machine learning tasks?","created":"2025-08-06","cited_by_count":0,"area":null},{"id":"2601.04526","title":"Advancing Language Models for Code-related Tasks","created":"2026-01-08","cited_by_count":0,"area":null},{"id":"2601.18241","title":"TAM-Eval: Evaluating LLMs for Automated Unit Test Maintenance","created":"2026-01-26","cited_by_count":0,"area":null},{"id":"2604.07755","title":"An Empirical Analysis of Static Analysis Methods for Detection and Mitigation of Code Library Hallucinations","created":"2026-04-09","cited_by_count":0,"area":null},{"id":"2604.17351","title":"SOCIA-EVO: Automated Simulator Construction via Dual-Anchored Bi-Level Optimization","created":"2026-04-19","cited_by_count":0,"area":null},{"id":"2605.08455","title":"CUDABeaver: Benchmarking LLM-Based Automated CUDA Debugging","created":"2026-05-08","cited_by_count":0,"area":null},{"id":"2606.15693","title":"Imperfect Visual Verification for Code Edition : A Case Study on TikZ","created":"2026-04-09","cited_by_count":0,"area":null},{"id":"2606.16244","title":"Activating Latent Security Knowledge through LLM-Guided Risk Analysis for Secure Code Generation","created":"2026-06-15","cited_by_count":0,"area":null},{"id":"2607.06636","title":"Specification Grounding Drives Test Effectiveness for LLM Code","created":"2026-07-07","cited_by_count":0,"area":null},{"id":"2607.09789","title":"PHITSBench: an execution-scored benchmark for AI-assisted PHITS radiation-transport input generation using natural language","created":"2026-07-08","cited_by_count":0,"area":null},{"id":"2607.11338","title":"AutoVSR: Automatic Visual-to-Symbolic Reasoning for Symbolic Expression Generation from Circuit Schematic","created":"2026-07-13","cited_by_count":0,"area":null},{"id":"2607.18357","title":"Decode-Time Grammars: Constrained LLM Generation over a Refinement Order of Grammar Fragments","created":"2026-07-20","cited_by_count":0,"area":null},{"id":"2607.22898","title":"AssumptionMiner: Extracting, Tracing, and Revising Implicit Assumptions in LLM Code Generation","created":"2026-07-24","cited_by_count":0,"area":null},{"id":"2608.03461","title":"Solver-Aware Decompositions for Programming-by-Example: When Dividing Requires Knowing how to Conquer","created":"2026-08-04","cited_by_count":0,"area":null},{"id":"2608.12599","title":"Dead text or binding clause? Measuring and restoring constraint influence in black-box LLM dialogues","created":"2026-08-12","cited_by_count":0,"area":null},{"id":"2608.14569","title":"Position: Certified Correctness in Neural Constraint Reasoning Requires Symbolic Integration","created":"2026-06-02","cited_by_count":0,"area":null},{"id":"2608.14653","title":"Do Uncertainty Signals Help? A Systematic Study of Uncertainty-Aware Decoding with Rollback Mechanisms","created":"2026-07-31","cited_by_count":0,"area":null},{"id":"2608.16003","title":"Prior Audit-Repair Context Shifts LLM Verifier Thresholds Toward Leniency","created":"2026-08-17","cited_by_count":0,"area":null},{"id":"2609.10123","title":"If It's Not Buggy, Don't Fix It: On the Dynamics of Iterative Bug-fixing with LLMs","created":"2026-09-09","cited_by_count":0,"area":null},{"id":"2609.10397","title":"Retrofitting Code Using LLMs to Support Exceptional Behavior","created":"2026-09-09","cited_by_count":0,"area":null}],"next_cursor":"100"}