Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Log In
Sign Up
phanerozoic
/
threshold-calculus
like
0
Other
English
threshold-logic
arithmetic
verified-computing
neuromorphic
digital-circuits
frozen-weights
License:
apache-2.0
Model card
Files
Files and versions
xet
Community
c94d9ea
threshold-calculus
3.71 MB
Ctrl+K
Ctrl+K
2 contributors
History:
30 commits
CharlesCNorton
Expand TODO with comprehensive LLM coprocessor operations
c94d9ea
3 months ago
__pycache__
Add build functions for float16 sub/mul/div/toint/fromint
3 months ago
.gitattributes
Safe
1.52 kB
initial commit
3 months ago
README.md
Safe
30.2 kB
Add CLZ16BIT, fix README claims, update TODO
3 months ago
TODO.md
5.91 kB
Expand TODO with comprehensive LLM coprocessor operations
3 months ago
arithmetic.safetensors
3.06 MB
xet
Fix float16.mul/div circuit bugs and eval tests
3 months ago
convert_to_explicit_inputs.py
Safe
285 kB
Fix float16.mul/div circuit bugs and eval tests
3 months ago
eval.py
Safe
60.4 kB
Fix float16.mul/div circuit bugs and eval tests
3 months ago
routing.json
Safe
220 kB
Upload routing.json with huggingface_hub
3 months ago
