@article{21012,
  abstract     = {In certifiable machine learning, AI systems produce not only results but also verifiable certificates that the results can be trusted.},
  author       = {Barrett, Clark and Henzinger, Thomas A and Seshia, Sanjit A.},
  issn         = {1557-7317},
  journal      = {Communications of the ACM},
  number       = {1},
  pages        = {66--75},
  publisher    = {Association for Computing Machinery},
  title        = {{Certificates in AI: Learn but verify}},
  doi          = {10.1145/3737447},
  volume       = {69},
  year         = {2026},
}