Confidence-based safety properties in CAISAR H/F
methods (i.e. abstract interpretation, SAT/SMT solving, etc.) notions in machine learning and, in particular, neural...
Lugar: Essonne | 14/09/2024 20:09:05 PM | Salario: S/. No Especificado | Empresa: Commissariat à l'Énergie Atomique