Researcher, Software Engineering Institute, Carnegie Mellon University
1 paper at NeurIPS 2025
We propose an assume-guarantee compositional framework, CoVeNN, to scale verification to large networks. CoVeNN can verify nearly 7 times more problems than state-of-the-art verifiers.
