v1v2 (latest)

Enumerating Safe Regions in Deep Neural Networks with Provable Probabilistic Guarantees

18 August 2023

Papers citing "Enumerating Safe Regions in Deep Neural Networks with Provable Probabilistic Guarantees"

3 / 3 papers shown

Title
Inductive Learning of Robot Task Knowledge from Raw Data and Online Expert Feedback Daniele Meli Paolo Fiorini 90 0 0 13 Jan 2025
ModelVerification.jl: a Comprehensive Toolbox for Formally Verifying Deep Neural Networks Tianhao Wei Luca Marzari Kai S. Yun Hanjiang Hu Peizhi Niu Xusheng Luo Changliu Liu 78 0 0 30 Jun 2024
Solving Probabilistic Verification Problems of Neural Networks using Branch and Bound David Boetius Stefan Leue Tobias Sutter 136 2 0 27 May 2024