Certificates in AI: Learn but Verify
In certifiable machine learning, AI systems produce not only results but also verifiable certificates that the results can be trusted.
Authors
- Clark Barrett (ORCID: https://orcid.org/0000-0002-9522-3084)
- Sanjit A. Seshia (ORCID: https://orcid.org/0000-0001-6190-8707)
- Thomas A. Henzinger (ORCID: https://orcid.org/0000-0002-2985-7724)
Institutions
- Institute of Science and Technology Austria (AT)
- University of California, Berkeley (US)
- Stanford University (US)
Publication Details
- Journal
- Communications of the ACM
- Published
- 2025-12-18
- DOI
- https://doi.org/10.1145/3737447
- Primary Topic
- Adversarial Robustness in Machine Learning
- Type
- article
- Field-Weighted Citation Impact
- 0.00