GitHub topics: bound-propagation
Zinoex/bound_propagation
Linear and interval bound propagation in Pytorch with easy-to-use API and GPU support.
Language: Python - Size: 171 KB - Last synced at: 13 days ago - Pushed at: about 1 year ago - Stars: 9 - Forks: 4
rfgzuid/Capstone
Safe reinforcement learning with stochastic control barrier functions (TI3165TU Capstone project 2023-2024)
Language: Jupyter Notebook - Size: 17.3 MB - Last synced at: about 2 months ago - Pushed at: about 1 year ago - Stars: 2 - Forks: 0
formes20/MpBP
[FSE 22 Demonstration] MpBP: Verifying Robustness of Neural Networks with Multi-path Bound Propagation
Language: Python - Size: 130 MB - Last synced at: almost 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0
ZhengYeah/MpBP
[FSE 22 Demonstration] MpBP: Verifying Robustness of Neural Networks with Multi-path Bound Propagation
Language: Python - Size: 118 MB - Last synced at: almost 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0
