Models
Datasets
Spaces
Buckets new
Docs
Enterprise
Pricing
Log In
Sign Up

phanerozoic
/

threshold-calculus

threshold-logic

verified-computing

digital-circuits

Model card Files Files and versions

threshold-calculus

Ctrl+K

Ctrl+K

2 contributors

History: 47 commits

CharlesCNorton

Refresh README format + repro details

ca99a3e 3 months ago

.gitattributes

1.52 kB
initial commit 4 months ago
.gitignore

13 Bytes
Fix signal registry to use actual gate names instead of canonical aliases 4 months ago
README.md

6.9 kB
Refresh README format + repro details 3 months ago
arithmetic.safetensors

247 MB
xet

Rebuild float16 LUT/pow + 16-bit arithmetic; fix neg16bit 3 months ago
build.py

492 kB
Rebuild float16 LUT/pow + 16-bit arithmetic; fix neg16bit 3 months ago
eval.py

111 kB
Rebuild float16 LUT/pow + 16-bit arithmetic; fix neg16bit 3 months ago