Hugging Face's logo

phanerozoic
/
threshold-calculus

Other
English
threshold-logic
arithmetic
verified-computing
neuromorphic
digital-circuits
frozen-weights
Model card Files
xet
 Community
threshold-calculus
  • 2 contributors
 History: 27 commits
CharlesCNorton
Unify eval.py and arithmetic_eval.py into single evaluator
84bf860