Structural Certification for Reliable Physical Design with Language Models

Nakul Vyas, Iliya D. Stoev

An unreliable language model can be made to produce reliable physical designs if the authority to assert is moved out of the model: the model proposes, and a deterministic engine a…