Autoformalization

The technique of translating natural-language mathematics into machine-checkable formal statements so an LLM's reasoning can be verified by a proof assistant rather than trusted.

grounded in: HN trend theme 'AI reshaping research' citing agentic workflows 'used by top mathematicians', extending the existing neural-theorem-proving concept toward verifiable formal reasoning