Détails sur le projet
Description
To explore the application of formal methods in computer science to the study of trustworthiness of AI systems
| Statut | Actif |
|---|---|
| Date de début/de fin réelle | 1/1/20 → … |
Financement
- Alfred P. Sloan Foundation: 300 000,00 $ US
Keywords
- Informática (todo)
- Desarrollo
Empreinte numérique
Explorer les sujets de recherche abordés dans ce projet. Ces étiquettes sont créées en fonction des prix/bourses sous-jacents. Ensemble, ils forment une empreinte numérique unique.