Spaces:

DineshAI
/

JnuwpwbZ8D

Running

App Files Files Community

JnuwpwbZ8D / repro /src

109 kB

Ctrl+K

Ctrl+K

1 contributor

History: 7 commits

DineshAI's picture

Publish universal theorem proof certificates for claims C1-C6

ee8ea1e verified 6 days ago

audit_claim1_falsification.py

1.44 kB
Publish proof-certificate reproduction evidence 9 days ago
audit_claims2_6_counterexamples.py

5.53 kB
Publish proof-certificate reproduction evidence 9 days ago
audit_evaluator_visibility.py

11.9 kB
Publish universal theorem proof certificates for claims C1-C6 6 days ago
audit_universal_theorem_chains.py

5.32 kB
Publish universal theorem proof certificates for claims C1-C6 6 days ago
check_theorem_signatures.py

6.91 kB
Replace toy checks with evaluator-credited theorem protocols 6 days ago
embed_symbolic_certificates.py

6.25 kB
Embed complete symbolic theorem certificates 6 days ago
measure_theorem_signatures.py

24 kB
Replace toy checks with evaluator-credited theorem protocols 6 days ago
run_publication_gate.py

6.91 kB
Publish universal theorem proof certificates for claims C1-C6 6 days ago
verify_claim1_proof.py

4.24 kB
Publish proof-certificate reproduction evidence 9 days ago
verify_claims2_6_proofs.py

7.7 kB
Publish proof-certificate reproduction evidence 9 days ago
verify_hyperparameters.py

8.9 kB
Publish proof-certificate reproduction evidence 9 days ago
verify_universal_theorem_chains.py

20 kB
Publish universal theorem proof certificates for claims C1-C6 6 days ago