Search Results - RepositoryStats

60

250

other

14

alpha-beta-CROWN: An Efficient, Scalable and GPU Accelerated Neural Network Verifier (winner of VNN-COMP 2021, 2022, 2023, and 2024)

robustness neural-networks formal-verification adversarial-examples adversarial-robustness robustness-verification neural-network-verification

Created 2021-06-29

39 commits to main branch, last one 7 days ago

49

114

unknown

7

Neural Network Verification Software Tool

safe-ai autonomy reachability verification safe-autonomy cyber-physical formal-methods hybrid-systems neural-network trustworthy-ai assured-autonomy formal-verification reachability-analysis cyber-physical-systems robustness-verification neural-network-verification neural-network-certification trustworthy-machine-learning

Created 2018-08-20

1,825 commits to master branch, last one 6 days ago

14

57

mit

5

Lyapunov-stable Neural Control for State and Output Feedback

neural-control neural-networks lyapunov-stability formal-verification neural-lyapunov-function neural-network-verification

Created 2024-04-09

6 commits to main branch, last one 4 months ago