Albert Q. JiangResearch Scientist
Mistral AI
Researcher
Research field
Research field
Theorem Proving
People working in Theorem Proving across AI.
10people
10organizations
Carina HongFounder and CEO
Axiom
Researcher
Geoffrey IrvingCofounder and Chief Scientist
Resolution
Researcher
Huajian XinResearch Engineer
ByteDance
Researcher
Jesse HanCo-founder and CEO
Math Inc.
Researcher
Kaiyu YangChief Scientist, Verifiable AI
Apodex
Researcher
Ken OnoFounding Mathematician
Axiom +1
Researcher
Stanislas PoluCo-founder and Software Engineer
Dust
Researcher
Vlad TenevCo-founder and CEO
Robinhood +1
Founder
Independent
Researcher