Beyond LLM Judge: Mechanical Verification for Agentic Autoformalization
Mechanical checks plus LLM review cut errors when verifying Lean formalizations of NIST math functions.
1 stories, newest first · one card per story
Mechanical checks plus LLM review cut errors when verifying Lean formalizations of NIST math functions.
Today 1.3K readers · 2.2K views · 1.7K reads · all time 160K views