Learning to Generate Industrial SAT Instances

von Wu, Haoze
Veröffentlicht in International Symposium on Combinatorial Search (12. : 2019 : Napa, Calif.) Proceedings of the Twelfth International Symposium on Combinatorial Search (SoCS 2019) (2019)

Efficient Neural Network Analysis with Sum-of-Infeasibilities

von Wu, Haoze
Veröffentlicht in TACAS (28. : 2022 : München) Tools and algorithms for the construction and analysis of systems ; Part 1 (2022)

An SMT-Based Approach for Verifying Binarized Neural Networks

von Amir, Guy
Veröffentlicht in TACAS (27. : 2021 : Online) Tools and algorithms for the construction and analysis of systems ; Part 2 (2021)

G2SAT: LEARNING TO GENERATE SAT FORMULAS

von You, Jiaxuan
Veröffentlicht in NeurIPS (33. : 2019 : Vancouver, British Columbia) 32nd Conference on Neural Information Processing Systems (NeurIPS 2019) ; Volume 14 of 20 (2020)

DeepCert: Verification of Contextually Relevant Robustness for Neural Network Image Classifiers

von Paterson, Colin
Veröffentlicht in SAFECOMP (40. : 2021 : York; Online) Computer Safety, Reliability, and Security (2021)