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 model about 6 hours ago
phanerozoic/seti-tools published a dataset about 20 hours ago
phanerozoic/orbitlight updated a dataset about 20 hours ago
phanerozoic/orbitlightOrganizations
spaces 4
Sleeping
proof2weights verified-arithmetic LLM
🔢
Generate verified answers to your questions using a math‑checked LLM
Sleeping
Stellarator Atlas
🌀
Explore and compare stellarator plasma boundary designs
Sleeping
ConStellaration Progress Tracker
🛰
View latest ConStellaration benchmark results
Runtime error
Agents
1
Argus
👁
Analyze an image for objects, scenes, depth, and more
models 336
phanerozoic/seti-tools
Updated
phanerozoic/threshold-computers
Updated • 1
phanerozoic/starwell
Feature Extraction • 0.1B • Updated • 567
phanerozoic/argus-lite
Depth Estimation • 38.1M • Updated • 39 • 1
phanerozoic/argus
Depth Estimation • 0.1B • Updated • 84 • 8
phanerozoic/coco-comparator-bank
Image Classification • Updated
phanerozoic/zero-parameter-classifier
Image Classification • Updated
phanerozoic/1-parameter-classifier
Image Classification • Updated
phanerozoic/truesea
Updated
phanerozoic/truetide
Updated
datasets 121
phanerozoic/orbitlight
Updated • 37 • 1
phanerozoic/breakthrough-listen-gbt-waterhole
Updated • 8
phanerozoic/qiskit-calibration-drift
Viewer • Updated • 17.9M • 8.52k • 5
phanerozoic/Dafny
Viewer • Updated • 23.3k • 44
phanerozoic/HOL4
Viewer • Updated • 73.1k • 19
phanerozoic/Agda-Cubical
Viewer • Updated • 9.81k • 12
phanerozoic/chauvet-exterior
Viewer • Updated • 5 • 195
phanerozoic/Coq-Changelog
Viewer • Updated • 1.21k • 63
phanerozoic/Lean4-Changelog
Viewer • Updated • 3.42k • 35
phanerozoic/Lean4-PhysLean
Viewer • Updated • 10.3k • 71