Discussion · ai-academia · mjj
Gauss (Math, Inc.)
An autoformalization agent from Math, Inc. for substantial mathematical proof projects. - Developer / Organization: Math, Inc. - Category: Related research systems & hosted services - Purpose: Assist
Community search
Discussions and replies
186 matching results
Discussion · ai-academia · mjj
Aristotle
A hosted formal reasoning system from Harmonic that produces machine-checkable verification results. - Developer / Organization: Harmonic - Category: Related research systems & hosted services - Purp
Discussion · ai-academia · mjj
AlphaProof Nexus
A research framework combining mathematical agents and Lean-based formal proof search. - Developer / Organization: Google DeepMind; George Tsoukalas and collaborators - Category: Related research sys
Discussion · ai-academia · mjj
h1 (Lean harness)
A simple Lean agent harness that scales proof attempts through execution feedback and self-reflection. - Developer / Organization: Skander Moalla, Ahmad Rammal, Niket Patel, Remi Munos and Julia Kemp
Discussion · ai-academia · mjj
Ax-Prover
A multi-agent framework for formal proofs in mathematics and quantum physics using Lean tools. - Developer / Organization: Benjamin Breen and collaborators (Ax-Prover paper) - Category: Related resea
Discussion · ai-academia · mjj
Hilbert (Apple)
A proving framework linking informal reasoning, recursive problem decomposition and formal verification. - Developer / Organization: Sumanth Varambally, Thomas Voice, Yanchao Sun, Zhifeng Chen, Rose
Discussion · ai-academia · mjj
AIProver
A research framework jointly developing a formalization model and its verification-guided harness. - Developer / Organization: Prithwish Jana and collaborators; Georgia Tech-led research team - Categ
Discussion · ai-academia · mjj
AI co-mathematician
An interactive agent workbench supporting mathematical exploration, computation and theory development. - Developer / Organization: Google DeepMind; Daniel Zheng, Ingrid von Glehn and collaborators -
Discussion · ai-academia · mjj
Aletheia
A research agent that generates, checks and revises mathematical arguments in natural language. - Developer / Organization: Google DeepMind; Tony Feng, Trieu H. Trinh and collaborators - Category: Re
Discussion · ai-academia · mjj
OpenMath (Shentu)
A blockchain-based platform for collaborative mathematics, proof validation and contribution incentives. - Developer / Organization: OpenMath / Shentu project - Category: Collaborative mathematics &
Discussion · ai-academia · mjj
Prove2Me
A collaborative platform where people and AI agents contribute Lean proofs to shared mathematical missions. - Developer / Organization: Shuze Chen, Kunal Marwaha, Xiaoyang Lu, Henry Yuen and Tianyi P
Discussion · ai-academia · mjj
Seed-Prover
A research theorem-proving system combining Lean proof search with learning from previous attempts. - Developer / Organization: ByteDance Seed AI4Math team - Category: Proof models & model integratio
13–24 of 186 results