collaborators

1 paper

cs.SE2026

Viverra: Text-to-Code with Guarantees

Haoze Wu, Rocky Klopfenstein, Keith Farkas +1

A fundamental limitation of Text-to-Code is that no guarantee can be obtained about the correctness of the generated code. Therefore, to ensure its correctness, the generated code…