@article{wybecoderverifiedimperativecodegeneratio,
  title = {WybeCoder: Verified Imperative Code Generation},
  author = {Fabian Gloeckle and Mantas Baksys and Darius Feher and Kunhao Zheng and Amaury Hayat and Sean B. Holden and Gabriel Synnaeve and Peter O'Hearn},
  year = {2026},
  eprint = {2603.29088},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2603.29088},
}