Source: cirosantilli/autoformalization
= Autoformalization
"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>:
* https://leanprover-community.github.io/archive/stream/219941-Machine-Learning-for-Theorem-Proving/topic/autoformalization.3F.html