All Stories

  1. Harnessing Neuron Stability to Improve DNN Verification

    Article • Proceedings of the ACM on Software Engineering, July 2024, ACM (Association for Computing Machinery)

    Hai Duong