[{"ddc":["000"],"date_published":"2026-01-01T00:00:00Z","OA_type":"hybrid","corr_author":"1","author":[{"first_name":"Clark","last_name":"Barrett","full_name":"Barrett, Clark"},{"id":"40876CD8-F248-11E8-B48F-1D18A9856A87","full_name":"Henzinger, Thomas A","orcid":"0000-0002-2985-7724","last_name":"Henzinger","first_name":"Thomas A"},{"first_name":"Sanjit A.","last_name":"Seshia","full_name":"Seshia, Sanjit A."}],"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"intvolume":"        69","has_accepted_license":"1","publication_status":"published","status":"public","article_type":"original","publisher":"Association for Computing Machinery","date_updated":"2026-01-21T08:55:24Z","PlanS_conform":"1","day":"01","year":"2026","file":[{"file_id":"21028","file_name":"2026_CommACM_Barrett.pdf","success":1,"access_level":"open_access","checksum":"d909a9091c254b2d18ba014124663f69","date_created":"2026-01-21T08:52:07Z","relation":"main_file","date_updated":"2026-01-21T08:52:07Z","content_type":"application/pdf","file_size":2623108,"creator":"dernst"}],"file_date_updated":"2026-01-21T08:52:07Z","volume":69,"ec_funded":1,"abstract":[{"lang":"eng","text":"In certifiable machine learning, AI systems produce not only results but also verifiable certificates that the results can be trusted."}],"publication":"Communications of the ACM","title":"Certificates in AI: Learn but verify","project":[{"grant_number":"101020093","_id":"62781420-2b32-11ec-9570-8d9b63373d4d","name":"Vigilant Algorithmic Monitoring of Software","call_identifier":"H2020"}],"page":"66-75","article_processing_charge":"Yes (via OA deal)","_id":"21012","publication_identifier":{"issn":["0001-0782"],"eissn":["1557-7317"]},"date_created":"2026-01-20T10:08:21Z","doi":"10.1145/3737447","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.","citation":{"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>.","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>","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.","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>.","short":"C. Barrett, T.A. Henzinger, S.A. Seshia, Communications of the ACM 69 (2026) 66–75.","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>","ista":"Barrett C, Henzinger TA, Seshia SA. 2026. Certificates in AI: Learn but verify. Communications of the ACM. 69(1), 66–75."},"scopus_import":"1","type":"journal_article","month":"01","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","quality_controlled":"1","language":[{"iso":"eng"}],"issue":"1","OA_place":"publisher","department":[{"_id":"ToHe"}],"oa_version":"Published Version","oa":1}]