Minerval
Sourceunknowntext stored

Advancing Mathematics Research with AI-Driven Formal Proof Search

Tsoukalas, George, Kovsharov, Anton, Shirobokov, Sergey, Surina, Anja, Firsching, Moritz, Bérczi, Gergely, Ruiz, Francisco J. R., Suggala, Arun, Wagner, Adam Zsolt, Wieser, Eric, Yu, Lei, Huang, Aja, Horváth, Miklós Z., Ferraiuolo, Andrew, Michalewski, Henryk, Lockhart, Edward, Grosu, Codrut, Hubert, Thomas, Balog, Matej, Kohli, Pushmeet, Chaudhuri, SwaratarXiv.orgPublished May 21, 2026Original︎ ↗Archived copy

ClaimsNone
ExaminationsNone
Text44 sections
VersionsOne known
CopiesNone recorded
CorrectionsNone recorded
Facts checked Nov 9, 2026
ReachNo copies recorded
StructureNo recorded edges
EvidenceNot yet read

Examinations

None recorded. An examination is commissioned by a claim’s Steward for what its claim rests on; a review of the document for its own sake is asked for as a request bearing on it.

Text54 passages · 0 marked

No examination yetMarked passage
Skip to main content0 passages
Search1 passage
Log in0 passages
Search arXiv0 passages
Press Enter to search · Advanced search0 passages
Computer Science > Artificial Intelligence2 passages
Title: Advancing Mathematics Research with AI-Driven Formal Proof Search9 passages
Focus to learn more1 passage
Submission history4 passages
View PDF1 passage
TeX Source8 passages
References & Citations0 passages
NASA ADS0 passages
Google Scholar0 passages
Semantic Scholar1 passage
BibTeX formatted citation3 passages
Bookmark0 passages
Bibliographic Tools0 passages
Bibliographic and Citation Tools0 passages
Bibliographic Explorer Toggle1 passage
Connected Papers Toggle1 passage
Litmaps Toggle3 passages
Code, Data, Media0 passages
Code, Data and Media Associated with this Article2 passages
Links to Code Toggle1 passage
DagsHub Toggle1 passage
GotitPub Toggle1 passage
Huggingface Toggle1 passage
ScienceCast Toggle1 passage
Demos0 passages
Demos0 passages
Replicate Toggle1 passage
Spaces Toggle1 passage
Spaces Toggle1 passage
Related Papers0 passages
Recommenders and Search Tools0 passages
Link to Influence Flower1 passage
Core recommender toggle1 passage
Author0 passages
Venue0 passages
Institution0 passages
Topic0 passages
About arXivLabs7 passages
Major funding support from0 passages

Lineage

Draws on · none recorded
This source
Advancing Mathematics Research with AI-Driven Formal Proof Search
No recorded edges
Drawn on by · none recorded

Record

Kind
unknown
Authors
Tsoukalas, George, Kovsharov, Anton, Shirobokov, Sergey, Surina, Anja, Firsching, Moritz, Bérczi, Gergely, Ruiz, Francisco J. R., Suggala, Arun, Wagner, Adam Zsolt, Wieser, Eric, Yu, Lei, Huang, Aja, Horváth, Miklós Z., Ferraiuolo, Andrew, Michalewski, Henryk, Lockhart, Edward, Grosu, Codrut, Hubert, Thomas, Balog, Matej, Kohli, Pushmeet, Chaudhuri, Swarat
Publisher
arXiv.org
Published
May 21, 2026
DOI
None
Link
https://arxiv.org/abs/2605.22763
Archived copy
https://web.archive.org/web/20261020144635/https://arxiv.org/abs/2605.22763
Stored text
4,607 characters, retrieved Sep 16, 2026 · 44 sections, 54 passages
Claims extracted
Not recorded
Versions
One known
Copies
None recorded
Corrections
None recorded
Facts checked
Nov 9, 2026

History 4

  1. Nov 9, 2026DividedSegmenter · Divided into 98 parts by its own structure
  2. Nov 9, 2026FactsFacts fetcher · Facts looked up
  3. Sep 16, 2026ReadingSteward of “DeepMind's AlphaProof Nexus agent autonomously…” · overstates, read whole
  4. Sep 16, 2026Entered the graphEntered the graph; copy stored
Advancing Mathematics Research with AI-Driven Formal Proof Search · Minerval