San Francisco AI company founded in 2023 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."
See something inaccurate or outdated?
