●founderThis signals investor appetite for AI reliability infrastructure in regulated verticals — a category that has been underfunded relative to raw capability work.
●investorA $27M seed from Khosla into formal verification for AI is a strong signal that reliability tooling for high-stakes domains is becoming a fundable category.
●policyFormal verification applied to AI outputs in law and drug discovery could become a compliance reference point as regulators push for auditable AI.
●healthDrug discovery is an explicit target vertical, making this worth tracking as a potential reliability layer for AI-assisted research pipelines.