phanerozoic
/

tiny-XOR-verified

formal-verification

threshold-logic

Model card Files Files and versions

tiny-XOR-verified

Commit History

Upload README.md with huggingface_hub

44dc6ac
verified

phanerozoic commited on about 12 hours ago

Upload README.md with huggingface_hub

63eead8
verified

phanerozoic commited on about 12 hours ago

Upload README.md with huggingface_hub

52ebb89
verified

phanerozoic commited on about 13 hours ago

Upload xor.safetensors with huggingface_hub

e9c8a06
verified

phanerozoic commited on about 13 hours ago

initial commit

c519a8b
verified

phanerozoic commited on about 13 hours ago