Spaces:

DineshAI
/

nBuL6HywFX

Running

App Files Files Community

Ctrl+K

Ctrl+K

1 contributor

History: 9 commits

DineshAI's picture

Expose Claim 4 checker values inline and enforce display audit

5f20e5c verified 5 days ago

data
Expose Claim 4 checker values inline and enforce display audit 5 days ago
docs
Add Lean-kernel formal verification for Theorem 4.2 12 days ago
formal
Publish claim-by-claim theorem audit and evaluator-visible evidence 5 days ago
legacy-pages
Update logbook: Reproduction: Revisiting Padded Transformer Expressivity: Which Architectural Choices Matter and Which Don't 13 days ago
notebooks
Publish claim-by-claim theorem audit and evaluator-visible evidence 5 days ago
outputs
Add Lean-kernel formal verification for Theorem 4.2 12 days ago
pages
Expose Claim 4 checker values inline and enforce display audit 5 days ago
reports
Publish claim-by-claim theorem audit and evaluator-visible evidence 5 days ago
repro
Expose Claim 4 checker values inline and enforce display audit 5 days ago
.gitattributes

1.52 kB
initial commit 13 days ago
README.md

1.21 kB
Publish claim-by-claim theorem audit and evaluator-visible evidence 5 days ago
bucket-icon.svg

413 Bytes
Update logbook: Padded Transformer Expressivity: Proof-Instance Audit 13 days ago
index.html

1.84 kB
Update logbook: Padded Transformer Expressivity: Proof-Instance Audit 11 days ago
lakefile.toml

136 Bytes
Publish claim-by-claim theorem audit and evaluator-visible evidence 5 days ago
lean-toolchain

25 Bytes
Publish claim-by-claim theorem audit and evaluator-visible evidence 5 days ago
logbook.css

29.6 kB
Update logbook: Padded Transformer Expressivity: Proof-Instance Audit 13 days ago
logbook.js

77.3 kB
Update logbook: Padded Transformer Expressivity: Proof-Instance Audit 13 days ago
logbook.json

2.42 kB
Publish claim-by-claim theorem audit and evaluator-visible evidence 5 days ago
poster_embed.html

2.86 kB
Add Lean-kernel formal verification for Theorem 4.2 12 days ago
pyproject.toml

336 Bytes
Publish claim-by-claim theorem audit and evaluator-visible evidence 5 days ago
trackio-logo-light.png

30 kB
Update logbook: Padded Transformer Expressivity: Proof-Instance Audit 13 days ago
trackio-logo.png

55.6 kB
Update logbook: Padded Transformer Expressivity: Proof-Instance Audit 13 days ago
trackio-wordmark-dark.png

89.8 kB
Update logbook: Padded Transformer Expressivity: Proof-Instance Audit 13 days ago
uv.lock

51.2 kB
Publish claim-by-claim theorem audit and evaluator-visible evidence 5 days ago