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:
phanerozoic
/
proof2weights-verified-llm
like
0
Sleeping
App
Files
Files
Community
Fetching metadata from the HF Docker repository...
main
proof2weights-verified-llm
538 MB
Ctrl+K
Ctrl+K
1 contributor
History:
7 commits
phanerozoic
State the proved half-ULP accuracy bound; drop the and-what-is-not panel
b8a1700
verified
about 2 months ago
__pycache__
Verified SmolLM2 Space: Docker build, runner, weights, app
about 2 months ago
.gitattributes
Safe
1.52 kB
initial commit
about 2 months ago
Dockerfile
1.18 kB
Verified SmolLM2 Space: Docker build, runner, weights, app
about 2 months ago
README.md
1.28 kB
Audit pass: scope claims to what is proved (trig via libm, trusted live boundary), credit SmolLM2, cut defensive slowness framing
about 2 months ago
app.py
7.92 kB
State the proved half-ULP accuracy bound; drop the and-what-is-not panel
about 2 months ago
llama_native.ml
49 kB
Verified SmolLM2 Space: Docker build, runner, weights, app
about 2 months ago
llama_native.mli
6.6 kB
Verified SmolLM2 Space: Docker build, runner, weights, app
about 2 months ago
llama_talk_native.ml
10.6 kB
Per-layer prefill progress bar so the long prefill wait is visible
about 2 months ago
requirements.txt
36 Bytes
Pin gradio 5.49.1 coherent stack; disable SSR (no node in slim image)
about 2 months ago
smollm.safetensors
538 MB
xet
Verified SmolLM2 Space: Docker build, runner, weights, app
about 2 months ago