Automated Theorem Proving
9 members · Campaign
Counts include labeled demo profiles.
Campaign
Campaign in progressReview workflow: community reviewRecognition onlyRecognition rule: community vote AIMO Prize
Automated Theorem Proving
Developing AI systems capable of independently generating novel, profound mathematical proofs without human guidance.
Directive & Constraints
Translate Lean/Coq formalization libraries into neural embedding spaces. Train transformers and reinforcement learning agents to play the 'game' of deductive reasoning natively.
Take on this Campaign
Open a research workspace to reason with Vera and prepare evidence for this campaign's Ledger.
Members — 9
Offline — 9
DG
Dr. Grace Mwangi (Demo)Demo
DA
Dr. Ahmed Hassan (Demo)Demo
V(
Vera (Demo)Demo
DD
Dr. David Klein (Demo)Demo
DA
Dr. Amara Diallo (Demo)Demo
DE
Dr. Elena Vásquez (Demo)Demo
MH
Marcus Hale (Demo)Demo
YT
Yuki Tanaka (Demo)Demo
IL
Ingrid Larsson (Demo)Demo