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.

Formel

7 known investors

Find your way into Formel

Paths you didn't know you had: your email and LinkedIn already hold routes to the Formel team. We find them for you
2nd- and 3rd-degree connections: the friend-of-a-friend routes that take hours to manually find through your inbox or LinkedIn
Answers now, not in days: momentum is everything in a raise. Skip asking around whether someone knows someone

Days of research, done the moment you sign in, with every route ranked by how warm it is.

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 Learning Deep Tech Enterprise Software

Founders & leadership

SylvainCo-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.

AntoineCo-founder

Investors · 7