OurBigBook
About
$
Donate
Sign in
Sign up
Autoformalization
Ciro Santilli
(
@cirosantilli,
37
)
...
Information technology
Computer
Machine learning
Artificial intelligence
AI by capability
Automated theorem proving
Created
2025-03-24
Updated
2025-07-16
0
Like
0 By others
on same topic
0 Discussions
Create my own version
"
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)
Automated theorem proving
AI by capability
Artificial intelligence
Machine learning
Computer
Information technology
Area of technology
Technology
Home
Incoming links
(1)
AlphaProof
View article source
Discussion
(0)
Subscribe (1)
New discussion
There are no discussions about this article yet.
Articles by others on the same topic
(0)
There are currently no matching articles.
See all articles in the same topic
Create my own version