ChopChop: a Programmable Framework for Semantically Constraining the Output of Language Models

Shaan Nagy, Timothy Zhou, Nadia Polikarpova +1

Language models (LMs) can generate code but cannot guarantee its correctness$\unicode{x2014}$often producing outputs that violate type safety, program invariants, or other semantic…