arXiv AI
Formalizing inverse problems in the age of AI: possibilities, pitfalls, and an invitation
Read the original on arXiv AI →The Flow has not summarised this story yet — read it at arXiv AI.
Related stories
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
Oct 15
A dataset of formalised theorem statements from the Annals of Mathematics
arXiv:2610.18301v1 Announce Type: new Abstract: Recent progress in autoformalisation of mathematics using AI has been impressive. Measuring this progress requires datasets of formal statements that a...
arXiv AI
Jul 1
Beyond the Library: An Agentic Framework for Autoformalizing Research Mathematics
arXiv:2606. 31134v1 Announce Type: new Abstract: While Large Language Models (LLMs) have demonstrated exceptional capabilities in mathematical reasoning, they frequently produce subtle errors that evade human detection.
arXiv AI
Jun 2
Automated Conjecture Resolution with Formal Verification
arXiv:2604. 03789v2 Announce Type: replace-cross Abstract: Recent advances in large language models have significantly improved their ability to perform mathematical reasoning, extending from elementary problem solving to increasingly capable performance on research-level problems.
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
Aug 18
Does the Proof Prove It That Way? Faithful Formalization of Elements Proofs
arXiv:2608. 15432v1 Announce Type: new Abstract: In formal verification, both the autoformalization of statements and automated proof search have been studied extensively.