1 code implementation • 15 Aug 2023 • Yiqi Zhao, Ziyan An, Meiyi Ma, Taylor Johnson
Boolean Satisfiability (SAT) and Satisfiability Modulo Theories (SMT) are widely used in automated verification, but there is a lack of interactive tools designed for educational purposes in this field.
3 code implementations • 31 Aug 2021 • Stanley Bak, Changliu Liu, Taylor Johnson
This report summarizes the second International Verification of Neural Networks Competition (VNN-COMP 2021), held as a part of the 4th Workshop on Formal Methods for ML-Enabled Autonomous Systems that was collocated with the 33rd International Conference on Computer-Aided Verification (CAV).
1 code implementation • 2 Mar 2020 • Xiaodong Yang, Hoang-Dung Tran, Weiming Xiang, Taylor Johnson
To address this challenge, we propose a parallelizable technique to compute exact reachable sets of a neural network to an input set.