Books by Clark Barrett
Automated Deduction : CADE 30
Automated Deduction : CADE 30
Identifying and Mitigating the
Identifying and Mitigating the Security Risks of Generative AI
Algorithms for Verifying Deep
Algorithms for Verifying Deep Neural Networks
Proceedings of the Joint Works
Proceedings of the Joint Workshops of the 6th International Workshop on Satisfiability Modulo Theories and 1st International Workshop on Bit-Precise Reasoning