Aletheia
A research agent that generates, checks and revises mathematical arguments in natural language. - Developer / Organization: Google DeepMind;…
All discussions
OpenMath (Shentu)
A blockchain-based platform for collaborative mathematics, proof validation and contribution incentives. - Developer / Organization: OpenMat…
Prove2Me
A collaborative platform where people and AI agents contribute Lean proofs to shared mathematical missions. - Developer / Organization: Shuz…
Seed-Prover
A research theorem-proving system combining Lean proof search with learning from previous attempts. - Developer / Organization: ByteDance Se…
QED-Nano
A compact proof-writing model with training code and a scaffold for extended mathematical reasoning. - Developer / Organization: CMU-AIRe /…
Leanstral
A Lean-focused model family integrated with Mistral’s coding-agent workflows. - Developer / Organization: Mistral AI - Category: Proof model…
LeanAgent
A lifelong-learning theorem-proving framework that adapts to expanding collections of Lean repositories. - Developer / Organization: LeanDoj…
Pantograph / PyPantograph
A programmatic Lean interface for proof search, reasoning experiments and proof-state interaction. - Developer / Organization: Stanford CENT…
LeanDojo-v2
An end-to-end framework for training, evaluating and deploying AI theorem provers in Lean. - Developer / Organization: LeanDojo team and con…
lean-lsp-mcp
An MCP server giving AI agents access to Lean proof states, diagnostics and search. - Developer / Organization: Oliver Dressler and contribu…
OpenEvolve
An open framework for evolving programs and algorithms against user-defined evaluators. - Developer / Organization: Algorithmic Superintelli…
FunSearch
A program-evolution framework that searches for mathematical constructions using executable scoring functions. - Developer / Organization: G…
37–48 of 185 discussions