Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Website
Tasks
HuggingChat
Collections
Languages
Organizations
Community
Blog
Posts
Daily Papers
Hardware
Learn
Discord
Forum
GitHub
Solutions
Team & Enterprise
Hugging Face PRO
Enterprise Support
Inference Providers
Inference Endpoints
Storage Buckets
Log In
Sign Up
Spaces:
SabaPivot
/
repro-approximation-theory-for-lipschitz-continuous-transformers
like
0
Running
App
Files
Files
Community
main
repro-approximation-theory-for-lipschitz-continuous-transformers
480 kB
Ctrl+K
Ctrl+K
2 contributors
History:
6 commits
SabaPivot
Add Lean verification for OVB Claims 4 and 5
cfe4625
verified
14 days ago
LipschitzTransformerFormal
Add Lean verification for OVB Claims 4 and 5
14 days ago
evidence
Add Lean verification for OVB Claims 4 and 5
14 days ago
formal_negative_controls
Add Lean verification for OVB Claims 4 and 5
14 days ago
pages
Add Lean verification for OVB Claims 4 and 5
14 days ago
reproduction
Add Lean verification for OVB Claims 4 and 5
14 days ago
.gitattributes
Safe
1.52 kB
initial commit
16 days ago
LipschitzTransformerFormal.lean
Safe
129 Bytes
Add Lean verification for OVB Claims 4 and 5
14 days ago
README.md
Safe
1.06 kB
Add Lean verification for OVB Claims 4 and 5
14 days ago
bucket-icon.svg
Safe
413 Bytes
Update logbook: Reproduction: Approximation Theory for Lipschitz Continuous Transformers
16 days ago
index.html
Safe
1.83 kB
Upgrade canonical logbook from stronger peer evidence with attribution
14 days ago
lakefile.toml
Safe
259 Bytes
Add Lean verification for OVB Claims 4 and 5
14 days ago
lean-toolchain
Safe
25 Bytes
Add Lean verification for OVB Claims 4 and 5
14 days ago
logbook.css
Safe
29.6 kB
Upgrade canonical logbook from stronger peer evidence with attribution
14 days ago
logbook.js
Safe
77.3 kB
Upgrade canonical logbook from stronger peer evidence with attribution
14 days ago
logbook.json
Safe
3.29 kB
Add Lean verification for OVB Claims 4 and 5
14 days ago
peer_provenance.json
Safe
510 Bytes
Add Lean verification for OVB Claims 4 and 5
14 days ago
poster_embed.html
Safe
4.99 kB
Add Lean verification for OVB Claims 4 and 5
14 days ago
pyproject.toml
Safe
233 Bytes
Upgrade canonical logbook from stronger peer evidence with attribution
14 days ago
run_reproduction.py
Safe
8.93 kB
Add Lean verification for OVB Claims 4 and 5
14 days ago
style.css
Safe
388 Bytes
initial commit
16 days ago
trackio-logo-light.png
Safe
30 kB
Update logbook: Reproduction: Approximation Theory for Lipschitz Continuous Transformers
16 days ago
trackio-logo.png
Safe
55.6 kB
Update logbook: Reproduction: Approximation Theory for Lipschitz Continuous Transformers
16 days ago
trackio-wordmark-dark.png
Safe
89.8 kB
Update logbook: Reproduction: Approximation Theory for Lipschitz Continuous Transformers
16 days ago
uv.lock
Safe
14.2 kB
Upgrade canonical logbook from stronger peer evidence with attribution
14 days ago
workspace.json
Safe
246 Bytes
Upgrade canonical logbook from stronger peer evidence with attribution
15 days ago
