Spaces:

DineshAI
/

JnuwpwbZ8D

Running

App Files Files Community

844 kB

Ctrl+K

Ctrl+K

1 contributor

History: 9 commits

DineshAI's picture

Publish universal theorem proof certificates for claims C1-C6

ee8ea1e verified 5 days ago

.openresearch
Publish universal theorem proof certificates for claims C1-C6 5 days ago
evidence
Publish universal theorem proof certificates for claims C1-C6 5 days ago
notebooks
Publish universal theorem proof certificates for claims C1-C6 5 days ago
pages
Publish universal theorem proof certificates for claims C1-C6 5 days ago
reports
Publish universal theorem proof certificates for claims C1-C6 5 days ago
repro
Publish universal theorem proof certificates for claims C1-C6 5 days ago
source
Publish proof-certificate reproduction evidence 7 days ago
.gitattributes

1.52 kB
initial commit 8 days ago
.python-version

5 Bytes
Publish proof-certificate reproduction evidence 7 days ago
README.md

7.3 kB
Publish universal theorem proof certificates for claims C1-C6 5 days ago
bucket-icon.svg

413 Bytes
Update logbook: Repro - Provably Data-driven Multiple Hyper-parameter Tuning 8 days ago
index.html

1.85 kB
Update logbook: Repro - Provably Data-driven Multiple Hyper-parameter Tuning 8 days ago
logbook.css

29.6 kB
Update logbook: Repro - Provably Data-driven Multiple Hyper-parameter Tuning 8 days ago
logbook.js

77.3 kB
Update logbook: Repro - Provably Data-driven Multiple Hyper-parameter Tuning 8 days ago
logbook.json

2.21 kB
Publish universal theorem proof certificates for claims C1-C6 5 days ago
pyproject.toml

318 Bytes
Replace toy checks with evaluator-credited theorem protocols 5 days ago
style.css

388 Bytes
initial commit 8 days ago
trackio-logo-light.png

30 kB
Update logbook: Repro - Provably Data-driven Multiple Hyper-parameter Tuning 8 days ago
trackio-logo.png

55.6 kB
Update logbook: Repro - Provably Data-driven Multiple Hyper-parameter Tuning 8 days ago
trackio-wordmark-dark.png

89.8 kB
Update logbook: Repro - Provably Data-driven Multiple Hyper-parameter Tuning 8 days ago
uv.lock

53 kB
Replace toy checks with evaluator-credited theorem protocols 5 days ago
workspace.json

77 Bytes
Expose schema-v2 native executed theorem evidence 5 days ago