Publications

Certified Patch Robustness via Smoothed Vision Transformers

Hadi Salman*, Saachi Jain*, Eric Wong*, Aleksander Mądry

CVPR 2022

Missingness Bias in Model Debugging

Saachi Jain*, Hadi Salman*, Eric Wong, Pengchuan Zhang, Vibhav Vineet, Sai Vemprala, and Aleksander Madry

ICLR 2022

3DB: A Framework for Debugging Computer Vision Models

Guillaume Leclerc*, Hadi Salman*, Andrew Ilyas*, Sai Vemprala, Logan Engstrom, Vibhav Vineet, Kai Xiao, Pengchuan Zhang, Shibani Santurkar, Greg Yang, Ashish Kapoor, and Aleksander Madry

arXiv:2012.12235 - 2020

Unadversarial Examples: Designing Objects for Robust Vision

Hadi Salman*, Andrew Ilyas*, Logan Engstrom*, Sai Vemprala, Aleksander Madry, and Ashish Kapoor

arXiv:2012.12235 - 2020

Do Adversarially Robust ImageNet Models Transfer Better?

Hadi Salman*, Andrew Ilyas*, Logan Engstrom, Ashish Kapoor, Aleksander Madry

NeurIPS 2020 (Oral Presentation)

Denoised Smoothing: A Provable Defense for Pretrained Classifiers

Hadi Salman, Mingjie Sun, Greg Yang, Ashish Kapoor, and J. Zico Kolter

NeurIPS 2020

Improved Image Wasserstein Attacks and Defenses

J. Edward Hu , Hadi Salman, Adith Swaminathan, and Greg Yang

ICLR 2020 Trustworthy ML Workshop (Best Paper Award)

Randomized Smoothing of All Shapes and Sizes

Greg Yang, Tony Duan, Edward Hu, Hadi Salman, Ilya Razenshteyn, and Jerry Li

ICML 2020

Provably Robust Deep Learning via Adversarially Trained Smoothed Classifiers

Hadi Salman, Greg Yang, Jerry Li, Huan Zhang, Pengchuan Zhang, Ilya Razenshteyn, and Sebastien Bubeck.

NeurIPS 2019 (Spotlight Presentation)

A Convex Relaxation Barrier to Tight Robustness Verification of Neural Networks

Hadi Salman, Greg Yang, Huan Zhang, Cho-Jui Hsieh, and Pengchuan Zhang

NeurIPS 2019

A Fine-Grained Spectral Perspective on Neural Networks

Greg Yang and Hadi Salman

arXiv: 1907.10599 - 2019

Deep Diffeomorphic Normalizing Flows

Hadi Salman, Payman Yadollahpour, Tom Fletcher, and Kayhan Batmanghelich

arXiv:1810.03256 - 2018

Learning to Sequence Robot Behaviors for Visual Navigation

Hadi Salman, Puneet Singhal, Tanmay Shankar, Peng Yin, Ali Salman, William Paivine, Guillaume Sartoretti, Matthew Travers, and Howie Choset

arXiv:1803.01446 - 2018

Paper Video

Stabilize an Unsupervised Feature Learning for LiDAR-based Place Recognition

Peng Yin, Lingyun Xu, Zhe Liu, Lu Li, Hadi Salman, Yuqing He, Weiliang Xu, Hesheng Wang, and Howie Choset

IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2018)

A Real-time Augmented Reality Surgical System for Overlaying Stiffness Information

Nicolas Zevallos, Rangaprasad Arun Srivatsan, Hadi Salman, Lu Li, Jianing Qian, Saumya Saxena, Mengyun Xu, Kartik Patath and Howie Choset.

Robotics: Science and Systems (RSS 2018)

Paper Code Video

Trajectory-Optimized Sensing for Active Search of Tissue Abnormalities in Robotic Surgery

Hadi Salman, Elif Ayvali, Rangaprasad Arun Srivatsan, Yifei Ma, Nico Zevallos, Rashid Yasin, Long Wang, Nabil Simaan, and Howie Choset.

IEEE International Conference on Robotics and Automation (ICRA 2018)

Paper Video

A Surgical System for Automatic Registration, Stiffness Mapping and Dynamic Image Overlay

Nicolas Zevallos, Rangaprasad Arun Srivatsan, Hadi Salman, Lu Li, Jianing Qian, Saumya Saxena, Mengyun Xu, Kartik Patath and Howie Choset.

International Symposium on Medical Robotics (ISMR 2018)

Paper Video

Ergodic Coverage In Constrained Environments Using Stochastic Trajectory Optimization

Elif Ayvali, Hadi Salman, and Howie Choset.

IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2017)

Multi-agent Ergodic Coverage with Obstacle Avoidance

Hadi Salman, Elif Ayvali, Howie Choset.

Proceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling (ICAPS 2017)

Paper Code Video

A Physical Parameter-Based Skidding Model for the Snakeboard

Hadi Salman, Tony Dear, Sevag Babikian, Elie Shammas, Howie Choset.

IEEE 55th Conference on Decision and Control (CDC 2016)
Paper Video

Shape-Based Geometric Motion Planning for an Underactuated Highly-Articulated System

Hadi Salman, Chaohui Gong, Howie Choset.

Robotics Institute Summer Scholar (RISS 2015)
Paper Code Video

Modeling, Analysis, and Controllability of a Single-Actuator Differentially-Driven Robot

Mohamad Alsalman, Elie Shammas, Hadi Salman.

IEEE/ASME International Conference on Advanced Intelligent Mechatronics (AIM 2015)