 Relational DNN Verification With Cross Executional Bound RefinementInternational Conference on Machine Learning (ICML), 2024 |
 Marabou 2.0: A Versatile Formal Analyzer of Neural NetworksInternational Conference on Computer Aided Verification (CAV), 2024 |
 Towards Scenario-based Safety Validation for Autonomous Trains with Deep
Generative ModelsInternational Conference on Computer Safety, Reliability, and Security (SAFECOMP), 2023 |
 Tighter Abstract Queries in Neural Network VerificationLogic Programming and Automated Reasoning (LPAR), 2022 |
 Efficient Neural Network Analysis with Sum-of-InfeasibilitiesInternational Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS), 2022 |
 An Abstraction-Refinement Approach to Verifying Convolutional Neural
NetworksAutomated Technology for Verification and Analysis (ATVA), 2022 |
