Beyond LLM Judge: Mechanical Verification for Agentic Autoformalization
Researchers introduce a verification method combining semantic review with mechanical checks for Lean formalizations.
Researchers introduce a verification method combining semantic review with mechanical checks for Lean formalizations.