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 | 15/09/2024 01:09:31 AM | Salario: S/. No Especificado | Empresa: Commissariat à l'Énergie Atomique