@article{hydraefficientcorrectcodegenerationviach,
  title = {Hydra: Efficient, Correct Code Generation via Checkpoint-and-Rollback Support},
  author = {Alexander Du and Jianjun Ou and Danyang Zhuo and Matthew Lentz},
  year = {2026},
  eprint = {2605.15238},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2605.15238},
}