Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Website
Tasks
HuggingChat
Collections
Languages
Organizations
Community
Blog
Posts
Daily Papers
Hardware
Learn
Discord
Forum
GitHub
Solutions
Team & Enterprise
Hugging Face PRO
Enterprise Support
Inference Providers
Inference Endpoints
Storage Buckets
Log In
Sign Up
Spaces:
DineshAI
/
20hdQQQrA4
like
0
Running
App
Files
Files
Community
main
20hdQQQrA4
/
repro
/
src
42.1 kB
Ctrl+K
Ctrl+K
1 contributor
History:
4 commits
DineshAI
Add exact-task named HardNet control audit
7a752d8
verified
10 days ago
audit_hardnet_unicycle_control.py
Safe
13.8 kB
Add exact-task named HardNet control audit
10 days ago
audit_theorem35_exact_bound.py
Safe
3.73 kB
Add exact Theorem 3.5 bound audit
10 days ago
verify_caffnet.py
Safe
7.23 kB
Reproduce CAffNet Thm 3.4/3.5: exact affine constraint satisfaction (2e-15 equality, 0 inequality) + universal approx (RMSE 0.0139->0.0048 as width grows)
11 days ago
verify_control.py
Safe
5.65 kB
Reproduce claim 4 safety-critical control: CAffNet CBF projection 100% safe + reaches goal (margin >=0), soft baseline collides every run (margin -0.10)
11 days ago
verify_hardnet_unicycle_control.py
Safe
3.21 kB
Add exact-task named HardNet control audit
10 days ago
verify_theorem35_exact_bound.py
Safe
8.44 kB
Add exact Theorem 3.5 bound audit
10 days ago
