bound-propagation

There are 4 repositories under bound-propagation topic.

  • Zinoex/bound_propagation

    Linear and interval bound propagation in Pytorch with easy-to-use API and GPU support.

    Language:Python7283

  • formes20/MpBP

    [FSE 22 Demonstration] MpBP: Verifying Robustness of Neural Networks with Multi-path Bound Propagation

    Language:Python10

  • rfgzuid/Capstone

    Safe reinforcement learning with stochastic control barrier functions (TI3165TU Capstone project 2023-2024)

    Language:Jupyter Notebook1310

  • ZhengYeah/MpBP

    [FSE 22 Demonstration] MpBP: Verifying Robustness of Neural Networks with Multi-path Bound Propagation

    Language:Python