San Francisco AI company founded by Jesse Han, building infrastructure for AI software engineering and formal mathematics — including Infinibranch and Liquid Metal ("Git for compute") — toward what it calls "verified superintelligence."
Former members 2
Related organizations
Based on public sources. If accuracy is important, verify details using the links or references.
For corrections, updates, or requests to remove information, contact us.