phanerozoic
/

threshold-and

threshold_network

threshold-logic

Model card Files Files and versions

Commit History

Add optimality note: exhaustive enumeration confirms magnitude 4 is minimum

6e63966

CharlesCNorton commited on 9 days ago

Rename from tiny-AND-verified

d182d54
verified

phanerozoic commited on 10 days ago

initial commit

528f543
verified

phanerozoic commited on 10 days ago