certifiable-robustness

Here are 2 public repositories matching this topic...

david-m-rosen / SE-Sync

An implementation of the SE-Sync algorithm for synchronization over the special Euclidean group.

global-optimization slam graph-slam semidefinite-programming pose-graph-optimization se-sync pose-synchronization riemannian-optimization pose-graph-slam certifiable-robustness certifiable-estimation certifiable-perception

Updated Aug 15, 2024
Jupyter Notebook

VITA-Group / Linearity-Grafting

Star

[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

sparsity certification linearity neuron-pruning certifiable-robustness linearity-grafting

Updated Jun 22, 2022
Python

Improve this page

Add a description, image, and links to the certifiable-robustness topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the certifiable-robustness topic, visit your repo's landing page and select "manage topics."

Learn more

Provide feedback

Saved searches

Use saved searches to filter your results more quickly