If you’re at #ICLR2025 consider stopping by our poster being presented by @danielrbramblett.bsky.social this Friday! We present new methods for objective evaluation of truth maintenance in LLM and LRM translation tasks using formal verifiers, overcoming the need for labeled datasets.