Topic: "quantitative-verification"
teobaluta/NPAQ
Neural Property Approximate Quantifier
Language: Python - Size: 2.04 MB - Last synced at: over 1 year ago - Pushed at: over 2 years ago - Stars: 8 - Forks: 0
teobaluta/provero
Sampling-based Scalable Quantitative Verification for DNNs
Language: Python - Size: 417 KB - Last synced at: about 1 year ago - Pushed at: about 4 years ago - Stars: 4 - Forks: 1