OurBigBook.com $£ Sponsor 中国独裁统治 China Dictatorship 新疆改造中心、六四事件、法轮功、郝海东、709大抓捕、2015巴拿马文件邓家贵、低端人口、西藏骚乱

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:

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

 Ancestors (9)