v1v2v3 (latest)

Model Assertions for Monitoring and Improving ML Models

3 March 2020

Peter Bailis

Papers citing "Model Assertions for Monitoring and Improving ML Models"

25 / 25 papers shown

Title
Outside the Box: Abstraction-Based Monitoring of Neural Networks T. Henzinger Anna Lukina Christian Schilling AAML 79 59 0 20 Nov 2019
Better AI through Logical Scaffolding Nikos Arechiga Jonathan A. DeCastro Soonho Kong Karen Leung 43 1 0 12 Sep 2019
Selection via Proxy: Efficient Data Selection for Deep Learning Cody Coleman Christopher Yeh Stephen Mussmann Baharan Mirzasoleiman Peter Bailis Percy Liang J. Leskovec Matei A. Zaharia 98 349 0 26 Jun 2019
Scaling Video Analytics on Constrained Edge Nodes Christopher Canel Thomas Kim Giulio Zhou Conglong Li Hyeontaek Lim D. Andersen M. Kaminsky Subramanya R. Dulloor 50 166 0 24 May 2019
nuScenes: A multimodal dataset for autonomous driving Holger Caesar Varun Bankiti Alex H. Lang Sourabh Vora Venice Erin Liong Qiang Xu Anush Krishnan Yuxin Pan G. Baldan Oscar Beijbom 3DPC 301 5,786 0 26 Mar 2019
Continuous Integration of Machine Learning Models with ease.ml/ci: Towards a Rigorous Yet Practical Treatment Cédric Renggli Bojan Karlas Bolin Ding Feng Liu Kevin Schawinski Wentao Wu Ce Zhang VLM 38 47 0 01 Mar 2019
Network Offloading Policies for Cloud Robotics: a Learning-based Approach Sandeep P. Chinchali Apoorva Sharma James Harrison Amine Elhafsi Daniel Kang Evgenya Pergament Eyal Cidon Sachin Katti Marco Pavone OffRL 58 106 0 15 Feb 2019
PointPillars: Fast Encoders for Object Detection from Point Clouds Alex H. Lang Sourabh Vora Holger Caesar Lubing Zhou Jiong Yang Oscar Beijbom 3DPC 75 3,457 0 14 Dec 2018
Formal Verification of Neural Network Controlled Autonomous Systems Xiaowu Sun Haitham Khedr Yasser Shoukry 82 139 0 31 Oct 2018
Unsupervised Hard Example Mining from Videos for Improved Object Detection SouYoung Jin Aruni RoyChowdhury Huaizu Jiang Ashish Singh Aditya Prasad Deep Chakraborty Erik Learned-Miller ObjD 106 63 0 13 Aug 2018
TensorFuzz: Debugging Neural Networks with Coverage-Guided Fuzzing Augustus Odena Ian Goodfellow AAML 76 322 0 28 Jul 2018
Formal Security Analysis of Neural Networks using Symbolic Intervals Shiqi Wang Kexin Pei Justin Whitehouse Junfeng Yang Suman Jana AAML 84 478 0 28 Apr 2018
Certified Defenses against Adversarial Examples Aditi Raghunathan Jacob Steinhardt Percy Liang AAML 117 969 0 29 Jan 2018
Focus: Querying Large Video Datasets with Low Latency and Low Cost Kevin Hsieh Ganesh Ananthanarayanan P. Bodík P. Bahl Matthai Philipose Phillip B. Gibbons O. Mutlu 74 276 0 10 Jan 2018
Panoptic Segmentation Alexander Kirillov Kaiming He Ross B. Girshick Carsten Rother Piotr Dollár 132 1,448 0 03 Jan 2018
The Effectiveness of Data Augmentation in Image Classification using Deep Learning Luis Perez Jason Wang 84 2,793 0 13 Dec 2017
Improving Deep Learning using Generic Data Augmentation Luke Taylor G. Nitschke 59 383 0 20 Aug 2017
Revisiting Unreasonable Effectiveness of Data in Deep Learning Era Chen Sun Abhinav Shrivastava Saurabh Singh Abhinav Gupta VLM 207 2,407 0 10 Jul 2017
Cardiologist-Level Arrhythmia Detection with Convolutional Neural Networks Pranav Rajpurkar Awni Y. Hannun Masoumeh Haghpanahi Codie Bourn A. Ng 67 748 0 06 Jul 2017
DeepXplore: Automated Whitebox Testing of Deep Learning Systems Kexin Pei Yinzhi Cao Junfeng Yang Suman Jana AAML 109 1,371 0 18 May 2017
Mask R-CNN Kaiming He Georgia Gkioxari Piotr Dollár Ross B. Girshick ObjD 369 27,253 0 20 Mar 2017
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 321 1,875 0 03 Feb 2017
SSD: Single Shot MultiBox Detector Wen Liu Dragomir Anguelov D. Erhan Christian Szegedy Scott E. Reed Cheng-Yang Fu Alexander C. Berg ObjD BDL 257 29,879 0 08 Dec 2015
Explaining and Harnessing Adversarial Examples Ian Goodfellow Jonathon Shlens Christian Szegedy AAML GAN 282 19,129 0 20 Dec 2014
Microsoft COCO: Common Objects in Context Nayeon Lee Michael Maire Serge J. Belongie Lubomir Bourdev Ross B. Girshick James Hays Pietro Perona Deva Ramanan C. L. Zitnick Piotr Dollár ObjD 434 43,832 0 01 May 2014