SAIF — 2025 Investments

1 investments dated 2025 · listed companies and verified rows first · show all

Theoremtheoremlabs.comJan 2025 · $6M

Theorem Labs develops formal verification technology for software, producing mathematical proofs that cover a program's full behavior space, beginning with verified sandboxes designed to contain AI agents.

AI & Machine LearningCybersecurityDeveloper Tools

Co-investorsEight Capital Pioneer The E14 Fund Halcyon Khosla Ventures Y Combinator

Rows marked “SEC filing” are inferred from directors named on the company's SEC Form D — public regulatory data, not a portfolio list published by the firm.