claimcheck: Narrowing the Gap between Proof and Intent

it is quite terrifying that people think translating from formal constraints in math to informal english is either accurate or deterministic.

And they ask the LLM to not look at requirements but who is guaranteeing it won’t just hallucinate them out of thin air later when messy prompts inevitably trigger a butterfly effect?