sisl/NeuralVerification.jl

Methods to soundly verify deep neural networks

by Stanford Intelligent Systems Laboratory Julia MIT licence 50 forks Created Aug 2018 View on GitHub

Stars
234
5% of sisl's stars
Rank
#243,410
of 852,119 repos, top 29%

Among 852,119 repos

160–250 stars: 104,093 repos, including NeuralVerification.jl

Stars along the bottom, and repos in each band on a log scale

Quick stats

Next rank
+1 star to reach #242,541
Next milestone
+122 stars to reach the top 20%
Popular
One of 490,778 repos with 100+ stars
Yearly average
28 stars a year since Aug 2018

Stars counted Recounted daily Next count around