Detalles del proyecto
Description
To explore the application of formal methods in computer science to the study of trustworthiness of AI systems
| Estado | Activo |
|---|---|
| Fecha de inicio/Fecha fin | 1/1/20 → … |
Financiación
- Alfred P. Sloan Foundation: $300,000.00
Keywords
- Informática (todo)
- Desarrollo
Huella digital
Explore los temas de investigación que se abordan en este proyecto. Estas etiquetas se generan con base en las adjudicaciones/concesiones subyacentes. Juntos, forma una huella digital única.