Publications

Do Adversarially Robust ImageNet Models Transfer Better?

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

NeurIPS 2020 (Oral Presentation)

Paper Code Blog post

Denoised Smoothing: A Provable Defense for Pretrained Classifiers

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

NeurIPS 2020

Paper Code

Randomized Smoothing of All Shapes and Sizes

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

ICML 2020

Paper Code Blog post

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)

Paper Code Blog post

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

Paper Code

A Fine-Grained Spectral Perspective on Neural Networks

Greg Yang and Hadi Salman

arXiv: 1907.10599 - 2019

Paper Code

Deep Diffeomorphic Normalizing Flows

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

arXiv:1810.03256 - 2018

Paper

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)

Paper

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

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)

Paper Code Video

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)

Paper

HADI SALMAN

HADI SALMAN

Publications

Do Adversarially Robust ImageNet Models Transfer Better?

Denoised Smoothing: A Provable Defense for Pretrained Classifiers

Randomized Smoothing of All Shapes and Sizes

Provably Robust Deep Learning via Adversarially Trained Smoothed Classifiers

A Convex Relaxation Barrier to Tight Robustness Verification of Neural Networks

A Fine-Grained Spectral Perspective on Neural Networks

Deep Diffeomorphic Normalizing Flows

Learning to Sequence Robot Behaviors for Visual Navigation

Stabilize an Unsupervised Feature Learning for LiDAR-based Place Recognition

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

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

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

Ergodic Coverage In Constrained Environments Using Stochastic Trajectory Optimization

Multi-agent Ergodic Coverage with Obstacle Avoidance

A Physical Parameter-Based Skidding Model for the Snakeboard

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

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