[{"language":[{"iso":"eng"}],"intvolume":"        69","publication_status":"published","_id":"21012","date_published":"2026-01-01T00:00:00Z","project":[{"call_identifier":"H2020","_id":"62781420-2b32-11ec-9570-8d9b63373d4d","name":"Vigilant Algorithmic Monitoring of Software","grant_number":"101020093"}],"month":"01","type":"journal_article","file_date_updated":"2026-01-21T08:52:07Z","abstract":[{"lang":"eng","text":"In certifiable machine learning, AI systems produce not only results but also verifiable certificates that the results can be trusted."}],"acknowledgement":"T.A.H. thanks Đorde Žikelic for many stimulating discussions about CML. This work was supported in part by NSFCPS Frontier Grant 1545126, by a BAIR Commons project, by the Berkeley iCy-Phy Center, by the Stanford Center for Automated Reasoning, and by the ERC Advanced Grant 101020093.","corr_author":"1","publication_identifier":{"issn":["0001-0782"],"eissn":["1557-7317"]},"department":[{"_id":"ToHe"}],"oa_version":"Published Version","license":"https://creativecommons.org/licenses/by/4.0/","doi":"10.1145/3737447","date_created":"2026-01-20T10:08:21Z","article_processing_charge":"Yes (via OA deal)","title":"Certificates in AI: Learn but verify","file":[{"access_level":"open_access","date_updated":"2026-01-21T08:52:07Z","success":1,"date_created":"2026-01-21T08:52:07Z","content_type":"application/pdf","checksum":"d909a9091c254b2d18ba014124663f69","file_size":2623108,"file_name":"2026_CommACM_Barrett.pdf","creator":"dernst","file_id":"21028","relation":"main_file"}],"publisher":"Association for Computing Machinery","scopus_import":"1","has_accepted_license":"1","ec_funded":1,"page":"66-75","ddc":["000"],"OA_type":"hybrid","citation":{"ieee":"C. Barrett, T. A. Henzinger, and S. A. Seshia, “Certificates in AI: Learn but verify,” <i>Communications of the ACM</i>, vol. 69, no. 1. Association for Computing Machinery, pp. 66–75, 2026.","ama":"Barrett C, Henzinger TA, Seshia SA. Certificates in AI: Learn but verify. <i>Communications of the ACM</i>. 2026;69(1):66-75. doi:<a href=\"https://doi.org/10.1145/3737447\">10.1145/3737447</a>","apa":"Barrett, C., Henzinger, T. A., &#38; Seshia, S. A. (2026). Certificates in AI: Learn but verify. <i>Communications of the ACM</i>. Association for Computing Machinery. <a href=\"https://doi.org/10.1145/3737447\">https://doi.org/10.1145/3737447</a>","mla":"Barrett, Clark, et al. “Certificates in AI: Learn but Verify.” <i>Communications of the ACM</i>, vol. 69, no. 1, Association for Computing Machinery, 2026, pp. 66–75, doi:<a href=\"https://doi.org/10.1145/3737447\">10.1145/3737447</a>.","chicago":"Barrett, Clark, Thomas A Henzinger, and Sanjit A. Seshia. “Certificates in AI: Learn but Verify.” <i>Communications of the ACM</i>. Association for Computing Machinery, 2026. <a href=\"https://doi.org/10.1145/3737447\">https://doi.org/10.1145/3737447</a>.","short":"C. Barrett, T.A. Henzinger, S.A. Seshia, Communications of the ACM 69 (2026) 66–75.","ista":"Barrett C, Henzinger TA, Seshia SA. 2026. Certificates in AI: Learn but verify. Communications of the ACM. 69(1), 66–75."},"publication":"Communications of the ACM","status":"public","author":[{"full_name":"Barrett, Clark","first_name":"Clark","last_name":"Barrett"},{"full_name":"Henzinger, Thomas A","first_name":"Thomas A","last_name":"Henzinger","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-2985-7724"},{"full_name":"Seshia, Sanjit A.","first_name":"Sanjit A.","last_name":"Seshia"}],"year":"2026","date_updated":"2026-01-21T08:55:24Z","oa":1,"article_type":"original","quality_controlled":"1","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"OA_place":"publisher","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","day":"01","issue":"1","PlanS_conform":"1","volume":69}]