Field

Theorem Proving

9 researchers working in Theorem Proving.

Geoffrey IrvingResearcher

Resolution

Cofounder and Chief Scientist

AI Safety AI Evaluation Theorem Proving

Y(

Yuhuai (Tony) WuResearcher

Independent

Machine Learning Reasoning Theorem Proving

HX

Huajian XinResearcher

University of Edinburgh +1

PhD student, Artificial Intelligence

Theorem Proving Reasoning Large Language Models

AQ

Albert Q. JiangResearcher

Mistral AI

Research Scientist

Theorem Proving Reasoning Large Language Models

SP

Stanislas PoluResearcher

Dust

Co-founder and Software Engineer

Code Generation Theorem Proving Reinforcement Learning

JH

Jesse HanResearcher

Math Inc.

Co-founder and CEO

Theorem Proving Formal Verification AI for Science

CH

Carina HongResearcher

Axiom

Founder and CEO

Theorem Proving Reasoning Formal Verification

KY

Kaiyu YangResearcher

Apodex

Chief Scientist, Verifiable AI

Theorem Proving Formal Verification Reasoning

VT

Vlad TenevFounder

Robinhood +1

Co-founder and CEO

Formal Verification Theorem Proving Reasoning

Theorem Proving: AI researchers · Turing Tree