DLMF

Search everything

Mentions · 7d0
Mentions · 30d1
All mentions1
First seenOct 14, 2026
Last mentioned16d ago

Timeline

1 articles · newest first

Beyond LLM Judge: Mechanical Verification for Agentic Autoformalization

Mechanical checks plus LLM review cut errors when verifying Lean formalizations of NIST math functions.

arXiv cs.AI / cs.LG / cs.CLOct 14, 17:54 UTC · 16d agoAI research1 · 1 read

Appears with

Leanproduct · 1
NISTorganization · 1
FLMFproduct · 1

Entities are extracted by the model from each article. First seen Oct 14, 2026, last mentioned 16d ago. Watching keeps it in this browser only (no account); the watchlist page and dashboard alerts use it.