Fast Training of Provably Robust Neural Networks by SingleProp

Fast Training of Provably Robust Neural Networks by SingleProp

Bibliographic Details
Main Authors:	Boopathy, Akhilan, Weng, Lily, Liu, Sijia, Chen, Pin-Yu, Zhang, Gaoyuan, Daniel, Luca, Intelligence, Assoc Advancement Artificial
Other Authors:	Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science
Format:	Article
Language:	English
Published:	2022
Online Access:	https://hdl.handle.net/1721.1/143109

Similar Items

CNN-Cert: An Efficient Framework for Certifying Robustness of Convolutional Neural Networks
by: Boopathy, Akhilan, et al.
Published: (2021)

Robustness to training disturbances in SpikeProp Learning
by: Shrestha, Sumit Bam, et al.
Published: (2020)

Towards More Generalizable Neural Networks via Modularity
by: Boopathy, Akhilan
Published: (2022)

Nutri-bullets: Summarizing Health Studies by Composing Segments
by: Shah, Darsh J, et al.
Published: (2022)

Scalable and Safe Multi-Agent Motion Planning with Nonlinear Dynamics and Bounded Disturbances
by: Chen, Jingkai, et al.
Published: (2022)

An Information-Theoretic Framework for Unifying Active Learning Problems
by: Nguyen, Quoc Phong, et al.
Published: (2022)

PHASE: PHysically-grounded Abstract Social Events for Machine Social Perception
by: Netanyahu, Aviv, et al.
Published: (2021)

Top-k Ranking Bayesian Optimization
by: Nguyen, Quoc Phong, et al.
Published: (2022)

Planning with Learned Object Importance in Large Problem Instances using Graph Neural Networks
by: Silver, Tom, et al.
Published: (2022)

GLIB: Efficient Exploration for Relational Model-Based Reinforcement Learning via Goal-Literal Babbling
by: Chitnis, Rohan, et al.
Published: (2022)

Towards verifying robustness of neural networks against a family of semantic perturbations
by: Mohapatra, Jeet, et al.
Published: (2021)

Towards Certificated Model Robustness Against Weight Perturbations
by: Weng, Tsui-Wei, et al.
Published: (2022)

Provable algorithms for inference in topic models
by: Arora, Sanjeev, et al.
Published: (2018)

Scalable Equilibrium Computation in Multi-agent Influence Games on Networks
by: Christia, Fotini, et al.
Published: (2021)

Provably secure randomized AAβ cryptosystem
by: Asbullah, Muhammad Asyraf, et al.
Published: (2015)

Provably superior accuracy in quantum stochastic modeling
by: Yang, Chengran, et al.
Published: (2023)

Provably efficient scheduling for relaxed multithreaded computations
by: Gordienko, Maksim.
Published: (2008)

Provably efficient learning with typed parametric models
by: Brunskill, Emma, et al.
Published: (2010)

Provably good race detection that runs in parallel
by: Fineman, Jeremy T
Published: (2006)

Private and Provably Efficient Federated Decision-Making
by: Dubey, Abhimanyu
Published: (2022)

Provably Efficient Adaptive Scheduling for Parallel Jobs
by: He, Yuxiong, et al.
Published: (2007)

Provably safe robot navigation with obstacle uncertainty
by: Axelrod, Brian, et al.
Published: (2021)

Provably Safe Robot Navigation with Obstacle Uncertainty
by: Axelrod, Brian, et al.
Published: (2021)

Towards Fast computation of certified robustness for ReLU networks
by: Weng, Tsui-Wei, et al.
Published: (2021)

POPQORN: Quantifying robustness of recurrent neural networks
by: Weng, Tsui-Wei, et al.
Published: (2021)

Provably secure Rabin-p cryptosystem in hybrid setting
by: Asbullah, Muhammad Asyraf, et al.
Published: (2016)

Provably-efficient adaptive scheduling of multiprocessors for performance and energy
by: Sun, Hongyang
Published: (2011)

Provably efficient adaptive scheduling of parallel jobs on multiprocessors
by: He, Yuxiong
Published: (2014)

Provable and practical location privacy for vehicular and mobile systems
by: Popa, Raluca Ada
Published: (2011)

Provable Instantiations of Correlation Intractability and the Fiat-Shamir Heuristic
by: Lombardi, Alex
Published: (2023)

Provable variational inference for constrained log-submodular models
by: Djolonga, Josip, et al.
Published: (2022)

Practical data-dependent metric compression with provable guarantees
by: Indyk, Piotr, et al.
Published: (2019)

Provable variational inference for constrained log-submodular models
by: Djolonga, J, et al.
Published: (2021)

Provably Efficient Algorithms for Multi-Objective Competitive RL
by: Yu, Tiancheng, et al.
Published: (2022)

Efficient Neural Network Robustness Certification with General Activation Functions
by: Zhang, Huan, et al.
Published: (2021)

Animated props for responsive playspaces
by: Seitinger, Susanne, 1978-
Published: (2007)

Surge in SpikeProp algorithm
by: Zhang, Zhengyang
Published: (2014)

ON EXTENSIONS OF CLEVER: A NEURAL NETWORK ROBUSTNESS EVALUATION ALGORITHM
by: Weng, Tsui-Wei, et al.
Published: (2022)

ON EXTENSIONS OF CLEVER: A NEURAL NETWORK ROBUSTNESS EVALUATION ALGORITHM
by: Weng, Tsui-Wei, et al.
Published: (2021)

A provably passive and cost-efficient model for inductive interconnects
by: Yu, Hao, et al.
Published: (2010)