phanerozoic
/

threshold-calculus

threshold-logic

verified-computing

digital-circuits

Model card Files Files and versions

threshold-calculus

Ctrl+K

Ctrl+K

2 contributors

History: 23 commits

PortfolioAI

Fix toint, fromint; improve mul/div inference

fd6cf07 3 months ago

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

1.52 kB
initial commit 3 months ago
README.md

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

3 kB
Fix toint, fromint; improve mul/div inference 3 months ago
arithmetic.safetensors

2.87 MB
xet

Fix toint, fromint; improve mul/div inference 3 months ago
arithmetic_eval.py

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

575 kB
xet

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

265 kB
Fix toint, fromint; improve mul/div inference 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 3 months ago
tensors_arithmetic_only.txt

392 kB
Upload tensors_arithmetic_only.txt with huggingface_hub 3 months ago