Author name: Daneshvar Amrollahi, Jerry Lopez, Clark Barrett

arXiv:2604.25031v1 Announce Type: new
Abstract: When an LLM formalizes natural language, how do we know the output is faithful? We propose a roundtrip verification approach which does not require ground-truth annotations: formalize a statement, transl…