Formel
7 known investors
Find your way into Formel
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.
Founders & leadership
S
SylvaininCo-founderSylvain holds a PhD in Mathematics from ENS Paris-Saclay with research focused on machine learning and time series, and has worked as a senior ML engineer at Probabl and lecturer across French engineering schools; he co-founded Formel AI to apply formal verification methods to large language models for enterprise reliability.
A
AntoineinCo-founder
Investors · 7
AgoranovParis
Cherry Venturesreported · 2 sourcesBerlin · $2.2M – $7.7M
Heal Capitalreported · 2 sourcesBerlin · $1M – $5M
Heartcore Capitalreported · 2 sourcesCopenhagen
Hetz VenturesreportedTel Aviv · $3.6M – $90M
Singularreported · 2 sourcesParis
Vorwerk Venturesreported · 2 sourcesWuppertal · $1.1M – $5.5M
In the news
Frequently asked questions
- What does Formel do?
- 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.
- Who founded Formel?
- Formel was founded by Sylvain, Antoine.
- Who are Formel's investors?
- Formel's investors include Agoranov, Cherry Ventures, Heal Capital, Heartcore Capital, Hetz Ventures, Singular, Vorwerk Ventures.