arXiv AI
A dataset of formalised theorem statements from the Annals of Mathematics
Read the original on arXiv AI →The Flow has not summarised this story yet — read it at arXiv AI.
Related stories
arXiv AI
22h ago
Formalizing inverse problems in the age of AI: possibilities, pitfalls, and an invitation
arXiv:2611.06962v1 Announce Type: new Abstract: Proof assistants such as Lean check mathematical proofs down to the axioms, and AI agents have recently made writing such proofs cheap. We describe Aut...
arXiv AI
Jun 30
Self-Supervised Theorem Discovery in a Formal Axiomatic System
arXiv:2606. 28747v1 Announce Type: new Abstract: Recent artificial intelligence (AI) systems have shown remarkable progress in mathematical reasoning.
arXiv AI
Jul 10
From Solvers to Research: Large Language Model-Driven Formal Mathematics at the Research Frontier
arXiv:2607. 07779v1 Announce Type: cross Abstract: Recent developments in AI for Mathematics (AI4Math), especially Large Language Model (LLM)-driven theorem provers, has achieved remarkable success in formal proof generation for well-defined mathematical problems through Interactive Theorem Proving (ITP) languages.
OpenAI Blog
Sep 7, 2020
Generative language modeling for automated theorem proving
arXiv Machine Learning
Jun 19
Pseudo-Formalization for Automatic Proof Verification
arXiv:2605. 20531v2 Announce Type: replace-cross Abstract: Reliable verification of proofs remains a bottleneck for training and evaluating AI systems on hard mathematical reasoning.
arXiv AI
Jul 16
Theory-Level Autoformalization: From Isolated Statements to Unified Formal Knowledge Bases
arXiv:2607. 13292v1 Announce Type: new Abstract: Autoformalization translates informal natural language into formal, machine-verifiable languages.