Formel
1 known investors
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
SylvainCo-founder
A
AntoineCo-founder