Work

Certificates in AI: Learn but Verify

Year: 2025

Type: article

Abstract: In certifiable machine learning, AI systems produce not only results but also verifiable certificates that the results can be trusted.

Source: Communications of the ACM

DOI: 10.1145/3737447

Authors: Clark Barrett, Thomas A. Henzinger, Sanjit A. Seshia

Institutions: Stanford University, Institute of Science and Technology Austria, University of California, Berkeley

Language: English

Topic: Explainable Artificial Intelligence (XAI)

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: hybrid

OpenAlex ID: W4417475855

FWCI: 0.825

Cites: 31

Cited by: 2

Related to: