Carina HongFounder and CEO
Axiom
Researcher
Research field
Research field
Formal Verification
People working in Formal Verification across AI.
11people
11organizations
Daniel SelsamResearcher
OpenAI
Researcher
David ‘davidad’ DalrympleProgramme Director
Advanced Research + Invention Agency
Researcher
Ferenc HuszárFounder
Reasonable +1
Researcher
Heidy KhlaafChief AI Scientist
AI Now Institute
Researcher
Jesse HanCo-founder and CEO
Math Inc.
Researcher
Kaiyu YangChief Scientist, Verifiable AI
Apodex
Researcher
Satnam SinghSoftware Engineer
Harmonic
Engineer
Tudor AchimCo-founder and CEO
Harmonic
Researcher
Vlad TenevCo-founder and CEO
Robinhood +1
Founder
Zac Hatfield-DoddsMember of Technical Staff
Anthropic
Researcher