Spaces:

DineshAI
/

SGTLVjx3MN

Running

App Files Files Community

730 kB

Ctrl+K

Ctrl+K

1 contributor

History: 4 commits

DineshAI's picture

Publish theorem-level claim-by-claim reproduction

df45994 verified 7 days ago

.openresearch
Publish theorem-level claim-by-claim reproduction 7 days ago
evidence
Publish theorem-level claim-by-claim reproduction 7 days ago
historical
Publish theorem-level claim-by-claim reproduction 7 days ago
pages
Publish theorem-level claim-by-claim reproduction 7 days ago
reproduction
Publish theorem-level claim-by-claim reproduction 7 days ago
.gitattributes

1.52 kB
initial commit 9 days ago
README.md

830 Bytes
Publish theorem-level claim-by-claim reproduction 7 days ago
bucket-icon.svg

413 Bytes
Update logbook: Repro - Lp Concentration (arXiv 2606.06855) 9 days ago
index.html

1.83 kB
Update logbook: Repro - Lp Concentration (arXiv 2606.06855) 9 days ago
logbook.css

29.6 kB
Update logbook: Repro - Lp Concentration (arXiv 2606.06855) 9 days ago
logbook.js

77.3 kB
Update logbook: Repro - Lp Concentration (arXiv 2606.06855) 9 days ago
logbook.json

3.25 kB
Publish theorem-level claim-by-claim reproduction 7 days ago
pyproject.toml

270 Bytes
Publish theorem-level claim-by-claim reproduction 7 days ago
style.css

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

30 kB
Update logbook: Repro - Lp Concentration (arXiv 2606.06855) 9 days ago
trackio-logo.png

55.6 kB
Update logbook: Repro - Lp Concentration (arXiv 2606.06855) 9 days ago
trackio-wordmark-dark.png

89.8 kB
Update logbook: Repro - Lp Concentration (arXiv 2606.06855) 9 days ago
uv.lock

48.8 kB
Publish theorem-level claim-by-claim reproduction 7 days ago