Recent Finacing
Recent Raise
Numalis develops formal-methods-based tools that validate AI algorithms for explainability, robustness, and certification in critical systems, targeting defense and healthcare and offering solutions on sovereign infrastructure, based in Montpellier.