Spaces:

DineshAI
/

OVBpXUvwMi

Running

App Files Files Community

476 kB

Ctrl+K

Ctrl+K

1 contributor

History: 4 commits

DineshAI's picture

Add Lean verification evidence for claims 4 and 5

81674f5 verified about 20 hours ago

LipschitzTransformerFormal
Add Lean verification evidence for claims 4 and 5 about 20 hours ago
evidence
Add Lean verification evidence for claims 4 and 5 about 20 hours ago
formal_negative_controls
Add Lean verification evidence for claims 4 and 5 about 20 hours ago
pages
Add Lean verification evidence for claims 4 and 5 about 20 hours ago
reproduction
Add Lean verification evidence for claims 4 and 5 about 20 hours ago
.gitattributes

1.52 kB
initial commit 2 days ago
README.md

1.06 kB
Add Lean verification evidence for claims 4 and 5 about 20 hours ago
bucket-icon.svg

413 Bytes
Update logbook: Repro - Lipschitz Continuous Transformers 2 days ago
index.html

1.83 kB
Update logbook: Repro - Lipschitz Continuous Transformers 2 days ago
lakefile.toml

259 Bytes
Add Lean verification evidence for claims 4 and 5 about 20 hours ago
lean-toolchain

25 Bytes
Add Lean verification evidence for claims 4 and 5 about 20 hours ago
logbook.css

29.6 kB
Update logbook: Repro - Lipschitz Continuous Transformers 2 days ago
logbook.js

77.3 kB
Update logbook: Repro - Lipschitz Continuous Transformers 2 days ago
logbook.json

1.77 kB
Add Lean verification evidence for claims 4 and 5 about 20 hours ago
poster_embed.html

4.99 kB
Add Lean verification evidence for claims 4 and 5 about 20 hours ago
pyproject.toml

233 Bytes
Add theorem-level claim verification 1 day ago
run_reproduction.py

8.93 kB
Add Lean verification evidence for claims 4 and 5 about 20 hours ago
style.css

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

30 kB
Update logbook: Repro - Lipschitz Continuous Transformers 2 days ago
trackio-logo.png

55.6 kB
Update logbook: Repro - Lipschitz Continuous Transformers 2 days ago
trackio-wordmark-dark.png

89.8 kB
Update logbook: Repro - Lipschitz Continuous Transformers 2 days ago
uv.lock

14.2 kB
Add theorem-level claim verification 1 day ago