🦊/Investors

Vorwerk Ventures2021 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

Tickittotickitto.cominSep 2021 · $4.5M

Tickitto operates a marketplace with an API that lets brands and developers sell tickets to global experiences and events to their customers.

MarketplacesSaaSTravel & Hospitality

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.