Spaces:

DineshAI
/

20hdQQQrA4

Running

App Files Files Community

20hdQQQrA4 / pages

56.2 kB

Ctrl+K

Ctrl+K

1 contributor

History: 12 commits

DineshAI's picture

Add exact-task named HardNet control audit

7a752d8 verified 10 days ago

claim-1
Merge paper-scale evidence with accepted universal-approximation audit 13 days ago
claim-2
Merge paper-scale evidence with accepted universal-approximation audit 13 days ago
claim-3
Merge paper-scale evidence with accepted universal-approximation audit 13 days ago
claim-4-control
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
claim-c3-constraint
Update logbook: Repro - CAffNet Constraint-Affine NN (20hdQQQrA4) 12 days ago
claim-caffnet-hard
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
claim-hardnet-unicycle-control
Add exact-task named HardNet control audit 10 days ago
claim-theorem35-exact-bound
Add exact Theorem 3.5 bound audit 10 days ago
conclusion
Update logbook: Repro - CAffNet Constraint-Affine NN (20hdQQQrA4) 12 days ago
executive-summary
Upgrade to theorem and full-neural audit 13 days ago
methods-environment
Update logbook: Repro - CAffNet Constraint-Affine NN (20hdQQQrA4) 12 days ago
negative-controls
Update logbook: Repro - CAffNet Constraint-Affine NN (20hdQQQrA4) 12 days ago
index.md

793 Bytes
Update logbook: Repro - CAffNet Constraint-Affine NN (20hdQQQrA4) 12 days ago