Cited By
View all- Ma ZLi JBai G(2024)ReLU Hull ApproximationProceedings of the ACM on Programming Languages10.1145/36329178:POPL(2260-2287)Online publication date: 5-Jan-2024
- Boudardara FBoussif AMeyer PGhazel M(2024)A Review of Abstraction Methods Toward Verifying Neural NetworksACM Transactions on Embedded Computing Systems10.1145/361750823:4(1-19)Online publication date: 10-Jun-2024
- Naseer MHasan OShafique M(2023)QuanDA: GPU Accelerated Quantitative Deep Neural Network AnalysisACM Transactions on Design Automation of Electronic Systems10.1145/361167128:6(1-21)Online publication date: 16-Oct-2023
- Show More Cited By