@misc{indiciaed0e628cfeb71,
  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},
  url = {https://arxiv.org/abs/2603.29088},
  note = {Source identifier: 2603.29088}
}