TY  - RPRT
TI  - Viverra: Text-to-Code with Guarantees
AU  - Haoze Wu
AU  - Rocky Klopfenstein
AU  - Keith Farkas
AU  - Nina Narodytska
PY  - 2026
UR  - https://arxiv.org/abs/2605.14972
ID  - 2605.14972
ER  -