Formally verified threshold logic circuits. Compatible with neuromorphic hardware.
Charles Norton
phanerozoic
AI & ML interests
Machina vincit omnia
Recent Activity
updated
a model
about 4 hours ago
phanerozoic/8bit-threshold-computer
updated
a model
about 7 hours ago
phanerozoic/8bit-threshold-computer-4329
published
a model
about 22 hours ago
phanerozoic/8bit-threshold-computer-4329
Organizations
This is a collection of the models in my TinyLlama character series.
Foundational BERT projects of mine. Basic milestones in practical NLP.
Formally verified threshold logic circuits. Compatible with neuromorphic hardware.
Digesting proof assistant libraries for AI ingestion.
This is a collection of the models in my TinyLlama character series.
Foundational BERT projects of mine. Basic milestones in practical NLP.
Foundational BART projects of mine. Basic milestones in practical NLP.