Image de couverture de livre

Hydra: Efficient, Correct Code Generation via Checkpoint-and-Rollback Support

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Du, Alexander, Ou, Jianjun, Zhuo, Danyang, Lentz, Matthew
Format:	Preprint
Publié:	2026
Sujets:	Software Engineering Artificial Intelligence Programming Languages
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Is Functional Correctness Enough to Evaluate Code Language Models? Exploring Diversity of Generated Codes
par: Chon, Heejae, et autres
Publié: (2024)

AI Coders Are Among Us: Rethinking Programming Language Grammar Towards Efficient Code Generation
par: Sun, Zhensu, et autres
Publié: (2024)

From Code to Correctness: Closing the Last Mile of Code Generation with Hierarchical Debugging
par: Shi, Yuling, et autres
Publié: (2024)

Learning to Guarantee Type Correctness in Code Generation through Type-Guided Program Synthesis
par: Huang, Zhechong, et autres
Publié: (2025)

Self-Improving Code Generation via Semantic Entropy and Behavioral Consensus
par: Zhang, Huan, et autres
Publié: (2026)

LecPrompt: A Prompt-based Approach for Logical Error Correction with CodeBERT
par: Xu, Zhenyu, et autres
Publié: (2024)

Dynamic Stability of LLM-Generated Code
par: Rajput, Prateek, et autres
Publié: (2025)

Beyond Code Pairs: Dialogue-Based Data Generation for LLM Code Translation
par: Chen, Le, et autres
Publié: (2025)

ECO: Enhanced Code Optimization via Performance-Aware Prompting for Code-LLMs
par: Kim, Su-Hyeon, et autres
Publié: (2025)

Effective LLM-Driven Code Generation with Pythoness
par: Levin, Kyla H., et autres
Publié: (2025)

Executing as You Generate: Hiding Execution Latency in LLM Code Generation
par: Sun, Zhensu, et autres
Publié: (2026)

CodeIF-Bench: Evaluating Instruction-Following Capabilities of Large Language Models in Interactive Code Generation
par: Wang, Peiding, et autres
Publié: (2025)

A Preliminary Study of Multilingual Code Language Models for Code Generation Task Using Translated Benchmarks
par: Dandamudi, Rohit, et autres
Publié: (2024)

Smaller = Weaker? Benchmarking Robustness of Quantized LLMs in Code Generation
par: Fang, Sen, et autres
Publié: (2025)

Assessing GPT-4-Vision's Capabilities in UML-Based Code Generation
par: Antal, Gábor, et autres
Publié: (2024)

From Code Generation to Software Testing: AI Copilot with Context-Based RAG
par: Wang, Yuchen, et autres
Publié: (2025)

AutoMCQ -- Automatically Generate Code Comprehension Questions using GenAI
par: Goodfellow, Martin, et autres
Publié: (2025)

PerfCodeGen: Improving Performance of LLM Generated Code with Execution Feedback
par: Peng, Yun, et autres
Publié: (2024)

Perish or Flourish? A Holistic Evaluation of Large Language Models for Code Generation in Functional Programming
par: Lang, Nguyet-Anh H., et autres
Publié: (2026)

Benchmarking Large Language Models for ABAP Code Generation: An Empirical Study on Iterative Improvement by Compiler Feedback
par: Wallraven, Stephan, et autres
Publié: (2026)

GitChameleon 2.0: Evaluating AI Code Generation Against Python Library Version Incompatibilities
par: Misra, Diganta, et autres
Publié: (2025)

Agentic Code Reasoning
par: Ugare, Shubham, et autres
Publié: (2026)

REINFOREST: Reinforcing Semantic Code Similarity for Cross-Lingual Code Search Models
par: Saieva, Anthony, et autres
Publié: (2023)

AInsteinBench: Benchmarking Coding Agents on Scientific Repositories
par: Duston, Titouan, et autres
Publié: (2025)

Is Self-Repair a Silver Bullet for Code Generation?
par: Olausson, Theo X., et autres
Publié: (2023)

PPM: Automated Generation of Diverse Programming Problems for Benchmarking Code Generation Models
par: Chen, Simin, et autres
Publié: (2024)

Assessing Code Understanding in LLMs
par: Laneve, Cosimo, et autres
Publié: (2025)

EnvTrace: Simulation-Based Semantic Evaluation of LLM Code via Execution Trace Alignment -- Demonstrated at Synchrotron Beamlines
par: van der Vleuten, Noah, et autres
Publié: (2025)

AI-Mediated Code Comment Improvement
par: Dhakal, Maria, et autres
Publié: (2025)

Benchmarking LLM Code Generation for Audio Programming with Visual Dataflow Languages
par: Zhang, William, et autres
Publié: (2024)

AI-Assisted Fixes to Code Review Comments at Scale
par: Maddila, Chandra, et autres
Publié: (2025)

CodeArt: Better Code Models by Attention Regularization When Symbols Are Lacking
par: Su, Zian, et autres
Publié: (2024)

Insights from the Usage of the Ansible Lightspeed Code Completion Service
par: Sahoo, Priyam, et autres
Publié: (2024)

A Problem-Oriented Perspective and Anchor Verification for Code Optimization
par: Ye, Tong, et autres
Publié: (2024)

CodeMind: Evaluating Large Language Models for Code Reasoning
par: Liu, Changshu, et autres
Publié: (2024)

Stdlib or Third-Party? Empirical Performance and Correctness of LLM-Assisted Zero-Dependency Python Libraries
par: Ding, Peng, et autres
Publié: (2026)

Steerable Instruction Following Coding Data Synthesis with Actor-Parametric Schema Co-Evolution
par: Huang, Tinglin, et autres
Publié: (2026)

Analysis of AdvFusion: Adapter-based Multilingual Learning for Code Large Language Models
par: Esmaeili, Amirreza, et autres
Publié: (2025)

SACTOR: LLM-Driven Correct and Idiomatic C to Rust Translation with Static Analysis and FFI-Based Verification
par: Zhou, Tianyang, et autres
Publié: (2025)

Code Broker: A Multi-Agent System for Automated Code Quality Assessment
par: Attrah, Samer
Publié: (2026)