TY  - RPRT
TI  - Formal Disco: Scalable Open-Ended Generation of Formally Verified Programs
AU  - Gabriel Poesia
AU  - Simon Henniger
AU  - Tzu-Han Hsu
AU  - Yilun Du
AU  - Nada Amin
PY  - 2026
UR  - https://arxiv.org/abs/2607.04631
ID  - 2607.04631
ER  -