Barrett, Clark W.

3 publications

AAAI 2024 Towards Efficient Verification of Quantized Neural Networks Pei Huang, Haoze Wu, Yuting Yang, Ieva Daukantas, Min Wu, Yedi Zhang, Clark W. Barrett

MLJ 2023 Global Optimization of Objective Functions Represented by ReLU Networks Christopher A. Strong, Haoze Wu, Aleksandar Zeljic, Kyle D. Julian, Guy Katz, Clark W. Barrett, Mykel J. Kochenderfer

IJCAI 2021 Politeness for the Theory of Algebraic Datatypes (Extended Abstract) Ying Sheng, Yoni Zohar, Christophe Ringeissen, Jane Lange, Pascal Fontaine, Clark W. Barrett