@article{wu2026viverra,
 title={Viverra: Text-to-Code with Guarantees},
 author={Wu, Haoze and Klopfenstein, Rocky and Farkas, Keith and Narodytska, Nina},
 journal={arXiv preprint arXiv:2605.14972},
 year={2026}
}