phanerozoic
/

tiny-parity-prover

threshold_network

formal-verification

threshold-network

ternary-weights

binary-classification

Model card Files Files and versions

tiny-parity-prover

Commit History

Upload todo.md with huggingface_hub

ed6273c
verified

phanerozoic commited on 2 days ago

Upload README.md with huggingface_hub

914753d
verified

phanerozoic commited on 3 days ago

Add future work roadmap

f06d212
verified

phanerozoic commited on 3 days ago

Add pruned model README

f929418
verified

phanerozoic commited on 3 days ago

Add pruned model class

8ec63f4
verified

phanerozoic commited on 3 days ago

Add pruned model config

4304176
verified

phanerozoic commited on 3 days ago

Add pruned model weights

de47e4a
verified

phanerozoic commited on 3 days ago

Add pruned network section to results

5d726bb
verified

phanerozoic commited on 3 days ago

Add pruned variant documentation

560feb3
verified

phanerozoic commited on 3 days ago

Add comprehensive test results (30 tests)

4b09bcc
verified

phanerozoic commited on 3 days ago

Upload folder using huggingface_hub

156dd54
verified

phanerozoic commited on 3 days ago

initial commit

b5f03e2
verified

phanerozoic commited on 3 days ago