 Autoformalization

ID: autoformalization

 Top articles  Latest articles + New article in topic

Autoformalization by

Ciro Santilli 35  Updated 2025-03-25  +Created 2025-03-24

"Autoformalization" refers to automatically converting a traditional human readable mathematical proof to a formal proof.

The topic received some attention with the AI boom and rise of LLMs:

leanprover-community.github.io/archive/stream/219941-Machine-Learning-for-Theorem-Proving/topic/autoformalization.3F.html

 Read the full article

 New to topics? Read the docs here!