All discussions

synthetic/staging verification: F17 anonymous account flow

Synthetic/staging verification only. This discussion checks anonymous submission, private moderation status, and persistence with a real ver…

Faculty Position in Data Science | College of Arts & Sciences

American University of Sharjah · Sharjah, Sharjah, United Arab Emirates · Faculty

Assistant/Associate Professor

Nanjing University, Department of Mathematics · Nanjing, Jiangsu 210093, China · Faculty

errata — Theorem 1.1's statement.

AXLE (Axiom Lean Engine)

Axiom Math’s hosted Lean engine for verifying and manipulating formal proofs. - Developer / Organization: Axiom Math - Category: Related res…

AlphaProof

A reinforcement-learning system that searches for formal mathematical proofs in Lean. - Developer / Organization: Google DeepMind - Category…

AxiomProver

Axiom Math’s research system for developing mathematical results with formal Lean proofs. - Developer / Organization: Axiom Math - Category:…

Gauss (Math, Inc.)

An autoformalization agent from Math, Inc. for substantial mathematical proof projects. - Developer / Organization: Math, Inc. - Category: R…

Aristotle

A hosted formal reasoning system from Harmonic that produces machine-checkable verification results. - Developer / Organization: Harmonic -…

AlphaProof Nexus

A research framework combining mathematical agents and Lean-based formal proof search. - Developer / Organization: Google DeepMind; George T…

Hilbert (Apple)

A proving framework linking informal reasoning, recursive problem decomposition and formal verification. - Developer / Organization: Sumanth…

AI co-mathematician

An interactive agent workbench supporting mathematical exploration, computation and theory development. - Developer / Organization: Google D…