A Programmatic and Semantic Approach to Explaining and DebuggingNeural Network Based Object Detectors

1 December 2019

Papers citing "A Programmatic and Semantic Approach to Explaining and DebuggingNeural Network Based Object Detectors"

7 / 7 papers shown

Title
Reachability Analysis of Neural Networks with Uncertain Parameters Pierre-Jean Meyer 18 0 0 14 Mar 2023
Reachability analysis of neural networks using mixed monotonicity Pierre-Jean Meyer 54 8 0 15 Nov 2021
A Scenario-Based Platform for Testing Autonomous Vehicle Behavior Prediction Models in Simulation Francis Indaheng Edward Kim Kesav Viswanadha Jay Shenoy Jinkyu Kim Daniel J. Fremont S. Seshia 28 9 0 28 Oct 2021
Taxonomy of Machine Learning Safety: A Survey and Primer Sina Mohseni Haotao Wang Zhiding Yu Chaowei Xiao Zhangyang Wang J. Yadawa 21 31 0 09 Jun 2021
Scenic: A Language for Scenario Specification and Data Generation Daniel J. Fremont Edward J. Kim T. Dreossi Shromona Ghosh Xiangyu Yue Alberto L. Sangiovanni-Vincentelli S. Seshia 29 98 0 13 Oct 2020
Formal Analysis and Redesign of a Neural Network-Based Aircraft Taxiing System with VerifAI Daniel J. Fremont Johnathan Chiu D. Margineantu Denis Osipychev S. Seshia 31 53 0 14 May 2020
Scenic: A Language for Scenario Specification and Scene Generation Daniel J. Fremont T. Dreossi Shromona Ghosh Xiangyu Yue Alberto L. Sangiovanni-Vincentelli S. Seshia 42 246 0 25 Sep 2018