Boolean gates, voting functions, modular arithmetic, and adders as threshold networks.
Charles Norton PRO
phanerozoic
AI & ML interests
machina sola regnat
Recent Activity
updated a dataset about 5 hours ago
phanerozoic/hi-21cm-survey updated a dataset about 5 hours ago
phanerozoic/qiskit-calibration-drift updated a dataset 2 days ago
phanerozoic/chauvet-exteriorOrganizations
spaces 6
Sleeping
proof2weights verified-arithmetic LLM
🔢
Generate verified answers to your questions using a math‑checked LLM
Sleeping
Agents
BitNet b1.58 x bitnet-tc
🔻
Compare text generation speeds of two BitNet kernels
Sleeping
Stellarator Atlas
🌀
Explore and compare stellarator plasma boundary designs
Sleeping
ConStellaration Progress Tracker
🛰
View latest ConStellaration benchmark results
Running
Agents
1
Argus
👁
Analyze an image for objects, scenes, depth, and more
Runtime error
Agents
1
Threshold Calculator
🧮
Calculate float16 expressions with gate‑level precision
models 333
phanerozoic/truesea
Updated
phanerozoic/truetide
Updated
phanerozoic/dna-origin-classifier
Text Classification • 524k • Updated • 328
phanerozoic/threshold-mod3
110 • Updated • 16
phanerozoic/deep-plantain
Depth Estimation • Updated • 8 • 1
phanerozoic/argus-3d
Object Detection • Updated • 6
phanerozoic/8bit-threshold-computer
Updated • 1
phanerozoic/dense-plantain
Image-to-Image • Updated • 1
phanerozoic/ray-plantain
Image-to-Image • Updated
phanerozoic/ghost-plantain
Image-to-Image • Updated
datasets 120
phanerozoic/hi-21cm-survey
Updated • 2.99k • 3
phanerozoic/qiskit-calibration-drift
Viewer • Updated • 6.73M • 2.48k • 3
phanerozoic/chauvet-exterior
Viewer • Updated • 5 • 50
phanerozoic/Dafny
Viewer • Updated • 23.6k • 104
phanerozoic/Coq-Changelog
Viewer • Updated • 1.21k • 48
phanerozoic/HOL4
Viewer • Updated • 73.1k • 66
phanerozoic/Lean4-Changelog
Viewer • Updated • 3.42k • 53
phanerozoic/Lean4-PhysLean
Viewer • Updated • 10.3k • 80
phanerozoic/Lean4-Stdlib
Viewer • Updated • 53k • 84
phanerozoic/Lean4-Mathlib
Viewer • Updated • 232k • 138 • 2