EasyChair Smart SlideDocs/Log in
Author: Martin Vechev

This page shows all presentations of this author published in EasyChair Smart Slide.

Shared Certificates for Neural Network Verification

Shared Certificates for Neural Network Verification

Marc Fischer, Christian Sprecher, Dimitar I. Dimitrov, Gagandeep Singh and Martin Vechev

Fast Numerical Program Analysis with Reinforcement Learning

Fast Numerical Program Analysis with Reinforcement Learning

Gagandeep Singh, Markus Püschel and Martin Vechev

Presentations in this collection: 2
Copyright © 2002 – 2024 EasyChair