Cited By
View all- Duong HXu DNguyen TDwyer M(2024)Harnessing Neuron Stability to Improve DNN VerificationProceedings of the ACM on Software Engineering10.1145/36437651:FSE(859-881)Online publication date: 12-Jul-2024
- Mangal RNarodytska NGopinath DHu BRoy AJha SPăsăreanu C(2024)Concept-Based Analysis of Neural Networks via Vision-Language ModelsAI Verification10.1007/978-3-031-65112-0_3(49-77)Online publication date: 17-Jul-2024