TY  - RPRT
TI  - WybeCoder: Verified Imperative Code Generation
AU  - Fabian Gloeckle
AU  - Mantas Baksys
AU  - Darius Feher
AU  - Kunhao Zheng
AU  - Amaury Hayat
AU  - Sean B. Holden
AU  - Gabriel Synnaeve
AU  - Peter O'Hearn
PY  - 2026
UR  - https://arxiv.org/abs/2603.29088
ID  - 2603.29088
ER  -