Cited By
View all- Aanjaneya MNagarakatte S(2024)Maximum Consensus Floating Point Solutions for Infeasible Low-Dimensional Linear Programs with Convex Hull as the Intermediate RepresentationProceedings of the ACM on Programming Languages10.1145/36564278:PLDI(1239-1263)Online publication date: 20-Jun-2024
- 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
- Show More Cited By