phanerozoic
/

threshold-calculus

threshold-logic

verified-computing

digital-circuits

Model card Files Files and versions

threshold-calculus

4.67 MB

Ctrl+K

Ctrl+K

2 contributors

History: 24 commits

PortfolioAI

Add multi-bit carry infrastructure for float16.mul/div

32f7c0d 3 months ago

__pycache__
Add build functions for float16 sub/mul/div/toint/fromint 4 months ago
.gitattributes

1.52 kB
initial commit 4 months ago
README.md

30.2 kB
Add CLZ16BIT, fix README claims, update TODO 4 months ago
TODO.md

5.46 kB
Add multi-bit carry infrastructure for float16.mul/div 3 months ago
arithmetic.safetensors

2.98 MB
xet

Add multi-bit carry infrastructure for float16.mul/div 3 months ago
arithmetic_eval.py

78.9 kB
Upload arithmetic_eval.py with huggingface_hub 4 months ago
arithmetic_legacy.safetensors

575 kB
xet

Fix float16.add zero+zero case (94/125 tests) 4 months ago
convert_to_explicit_inputs.py

281 kB
Add multi-bit carry infrastructure for float16.mul/div 3 months ago
eval.py

53.6 kB
Fix inference functions for mul/div/toint/fromint 3 months ago
routing.json

220 kB
Upload routing.json with huggingface_hub 4 months ago
tensors_arithmetic_only.txt

392 kB
Upload tensors_arithmetic_only.txt with huggingface_hub 4 months ago