Field

Formal Verification

11 researchers working in Formal Verification.

Daniel SelsamResearcher

OpenAI

Researcher

Reasoning Formal Verification Large Language Models

ZH

Zac Hatfield-DoddsResearcher

Anthropic

Member of Technical Staff

AI Safety Formal Verification Machine Learning

HK

Heidy KhlaafResearcher

AI Now Institute

Chief AI Scientist

AI Safety Formal Verification AI Evaluation

SS

Satnam SinghEngineer

Harmonic

Software Engineer

Formal Verification AI Hardware Programming Languages

JH

Jesse HanResearcher

Math Inc.

Co-founder and CEO

Theorem Proving Formal Verification AI for Science

TA

Tudor AchimResearcher

Harmonic

Co-founder and CEO

Reasoning Formal Verification AI for Science

D‘

David ‘davidad’ DalrympleResearcher

Advanced Research + Invention Agency

Programme Director

AI Safety Formal Verification AI Alignment

CH

Carina HongResearcher

Axiom

Founder and CEO

Theorem Proving Reasoning Formal Verification

Ferenc HuszárResearcher

Reasonable +1

Founder

Machine Learning Formal Verification Code Generation

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