research
∙
02/14/2023
COMET: X86 Cost Model Explanation Framework
ML-based program cost models have been shown to yield fairly accurate pr...
share
research
∙
09/01/2021
Shared Certificates for Neural Network Verification
Existing neural network verifiers compute a proof that each input is han...
research
∙
05/27/2020
Fast and Effective Robustness Certification for Recurrent Neural Networks
We present a precise and scalable verifier for recurrent neural networks...
research
∙
04/20/2020
