Spaces:

DineshAI
/

4T8vEVK79x

Running

App Files Files Community

4T8vEVK79x / repro /src

23.3 kB

Ctrl+K

Ctrl+K

1 contributor

History: 1 commit

DineshAI's picture

Fix Claim 2 (RAND, claimed 27/128 constant + adversarial); add Claim 4 (Alg 1 under MIV error) and Claim 5 (EF1/MMS/PROPX impossibility)

809ce34 verified 12 days ago

verify_c2_theorem41.py

6.42 kB
Fix Claim 2 (RAND, claimed 27/128 constant + adversarial); add Claim 4 (Alg 1 under MIV error) and Claim 5 (EF1/MMS/PROPX impossibility) 12 days ago
verify_c4_theorem53.py

9.71 kB
Fix Claim 2 (RAND, claimed 27/128 constant + adversarial); add Claim 4 (Alg 1 under MIV error) and Claim 5 (EF1/MMS/PROPX impossibility) 12 days ago
verify_c5_prop51.py

7.17 kB
Fix Claim 2 (RAND, claimed 27/128 constant + adversarial); add Claim 4 (Alg 1 under MIV error) and Claim 5 (EF1/MMS/PROPX impossibility) 12 days ago