Vorwerk Ventures — 2021 Investments
2 investments dated 2021 · listed companies and verified rows first · show all
Formelformel.aiinDec 2021
Formel.ai combines generative AI with formal methods (mathematical verification) to build large language models that provide logical consistency guarantees, enforceable constraints, and full traceability for enterprise use cases including document auditing and compliance verification.
AI & Machine LearningDeep TechEnterprise Software
Sylvain(Co-founder)inAntoine(Co-founder)in
Co-investorsAgoranovCherry VenturesHeal CapitalHeartcore CapitalSingular
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.






