certifiable-robustness topic
List
certifiable-robustness repositories
SE-Sync
369
Stars
79
Forks
Watchers
An implementation of the SE-Sync algorithm for synchronization over the special Euclidean group.
Linearity-Grafting
15
Stars
3
Forks
Watchers
[ICML 2022] "Linearity Grafting: Relaxed Neuron Pruning Helps Certifiable Robustness" by Tianlong Chen*, Huan Zhang*, Zhenyu Zhang, Shiyu Chang, Sijia Liu, Pin-Yu Chen, Zhangyang Wang