GitPlanet
Projects
Users
Categories
Languages
About
All Categories
→
No Category
→ robustness-verification
Top 2 robustness-verification open source projects
nn robustness analysis
Python tools for analyzing the robustness properties of neural networks (NNs) from MIT ACL
✭ 36
python
Jupyter Notebook
deep-learning
robotics
neural-networks
control-systems
reachability-analysis
adversarial-attacks
robustness-verification
robustness-analysis
semantic-randomized-smoothing
[CCS 2021] TSS: Transformation-specific smoothing for robustness certification
✭ 20
Roff
python
c
security
deep-learning
robustness-verification
1-2
of
2
robustness-verification projects