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
Investors · 1
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.