EasyChair Smart SlideDocs/Log in
Author: Ravi Mangal

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

Self-Correcting Neural Networks for Safe Classification

Self-Correcting Neural Networks for Safe Classification

Klas Leino, Aymeric Fromherz, Ravi Mangal, Matt Fredrikson, Bryan Parno and Corina Pasareanu

A Cascade of Checkers for Run-Time Certification of Local Robustness

A Cascade of Checkers for Run-Time Certification of Local Robustness

Ravi Mangal and Corina Pasareanu

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