phanerozoic
/

threshold-implies

threshold_network

threshold-logic

Model card Files Files and versions

threshold-implies

Commit History

Add optimality note: exhaustive enumeration confirms magnitude 2 is minimum

bef90df

CharlesCNorton commited on 5 days ago

Rename from tiny-Implies-verified

f2cdec9
verified

phanerozoic commited on 6 days ago

initial commit

f3c659b
verified

phanerozoic commited on 6 days ago