arxivcs.AIcs.LG2026-06-29
Structural Certification for Reliable Physical Design with Language Models
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 alone certifies, returning certified, impossible, or unknown. We introduce Physics-Anchored Certifica…