phanerozoic
/

tiny-RippleCarry2Bit-verified

formal-verification

threshold-logic

Model card Files Files and versions

tiny-RippleCarry2Bit-verified

7.35 kB

1 contributor

History: 3 commits

phanerozoic's picture

Upload README.md with huggingface_hub

60f4258 verified about 21 hours ago

.gitattributes
1.52 kB

initial commit about 21 hours ago
README.md
2.76 kB

Upload README.md with huggingface_hub about 21 hours ago
ripplecarry2bit.safetensors
3.07 kB
xet

Upload ripplecarry2bit.safetensors with huggingface_hub about 21 hours ago