A literature review of LLM-based autoformalization, covering datasets, workflows, benchmarks, and its potential role in verifying AI outputs.
Claude 3 haiku: Our fastest model yet
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.AI 1years
2025 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Autoformalization in the Era of Large Language Models: A Survey
A literature review of LLM-based autoformalization, covering datasets, workflows, benchmarks, and its potential role in verifying AI outputs.