Les brèves Numalis lève 5 millions d’euros Numalis, start-up deeptech française spécialiste des méthodes formelles et première à avoir industrialisé ces approches mathématiques rigoureuses pour la validation des intelligences artificielles (IA), annonce une levée...
