Article
Charles Norton PRO
phanerozoic
AI & ML interests
machina sola regnat
Recent Activity
upvoted a collection about 8 hours ago
Bonsai 27B liked a model about 22 hours ago
prism-ml/Bonsai-27B-mlx-1bit new activity 1 day ago
phanerozoic/exact-solve:Uploaded using `kernel-builder`.Organizations
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
Sleeping
Agents
1
Argus
👁
Analyze an image for objects, scenes, depth, and more
models 332
phanerozoic/threshold-computers
Updated • 1
phanerozoic/truesea
Updated
phanerozoic/truetide
Updated
phanerozoic/dna-origin-classifier
Text Classification • 524k • Updated • 9
phanerozoic/threshold-mod3
110 • Updated • 2
phanerozoic/deep-plantain
Depth Estimation • Updated • 32 • 2
phanerozoic/argus-3d
Object Detection • 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 119
phanerozoic/qiskit-calibration-drift
Viewer • Updated • 8.43M • 1.52k • 3
phanerozoic/Dafny
Viewer • Updated • 23.3k • 15
phanerozoic/HOL4
Viewer • Updated • 73.1k • 28
phanerozoic/Agda-Cubical
Viewer • Updated • 9.81k • 27
phanerozoic/chauvet-exterior
Viewer • Updated • 5 • 63
phanerozoic/Coq-Changelog
Viewer • Updated • 1.21k • 19
phanerozoic/Lean4-Changelog
Viewer • Updated • 3.42k • 39
phanerozoic/Lean4-PhysLean
Viewer • Updated • 10.3k • 45
phanerozoic/Lean4-Stdlib
Viewer • Updated • 53k • 34
phanerozoic/Lean4-Mathlib
Viewer • Updated • 232k • 821 • 2