neu-autonomy/nfl_veripy
Formal Verification of Neural Feedback Loops (NFLs)
No commits in the last 6 months. Available on PyPI.
Stars
83
Forks
16
Language
Python
License
MIT
Category
Last pushed
Sep 12, 2024
Monthly downloads
30
Commits (30d)
0
Dependencies
20
Get this data via API
curl "https://pt-edge.onrender.com/api/v1/quality/ml-frameworks/neu-autonomy/nfl_veripy"
Open to everyone — 100 requests/day, no key needed. Get a free key for 1,000/day.
Related frameworks
namkoong-lab/dro
A package of distributionally robust optimization (DRO) methods. Implemented via cvxpy and PyTorch
THUDM/grb
Graph Robustness Benchmark: A scalable, unified, modular, and reproducible benchmark for...
MinghuiChen43/awesome-trustworthy-deep-learning
A curated list of trustworthy deep learning papers. Daily updating...
ADA-research/VERONA
A lightweight Python package for setting up robustness experiments and to compute robustness...
hendrycks/robustness
Corruption and Perturbation Robustness (ICLR 2019)