Charles Norton's picture

Building on HF

Charles Norton PRO

phanerozoic

·

CharlesCNorton

AI & ML interests

machina sola regnat

Recent Activity

updated a dataset about 6 hours ago

phanerozoic/dna-origin-benchmark

updated a model about 6 hours ago

phanerozoic/dna-origin-classifier

updated a Space about 7 hours ago

phanerozoic/proof2weights-verified-llm

View all activity

Organizations

phanerozoic 's datasets 98

phanerozoic/hi-21cm-survey

Viewer • Updated 23 minutes ago • 7.36M • 2.75k • 2

phanerozoic/qiskit-calibration-drift

Viewer • Updated about 1 hour ago • 5.74M • 3.33k • 3

phanerozoic/dna-origin-benchmark

Viewer • Updated about 6 hours ago • 25k • 7

phanerozoic/dna-origin-atlas

Viewer • Updated about 18 hours ago • 65.5k

phanerozoic/constellaration-tracker-results

Preview • Updated about 19 hours ago • 535

phanerozoic/persepolis

Viewer • Updated 20 days ago • 39k • 2.99k

phanerozoic/Omnia

Viewer • Updated 27 days ago • 71k • 66

phanerozoic/omega-tensor

Viewer • Updated Apr 17 • 76.8k • 46

phanerozoic/jovian-lightning

Viewer • Updated Apr 15 • 13.1k • 172

phanerozoic/qiskit-zenodragging

Updated Mar 3 • 77

phanerozoic/qiskit-noise

Updated Jan 24 • 9

phanerozoic/qiskit-ftqc

Updated Jan 24 • 12

phanerozoic/Why3

Viewer • Updated Jan 13 • 3.16k • 16

phanerozoic/ACL2

Viewer • Updated Jan 13 • 231k • 28

phanerozoic/Dafny

Viewer • Updated Jan 13 • 9.57k • 41

phanerozoic/F-Star

Viewer • Updated Jan 13 • 13k • 14

phanerozoic/Isabelle-Stdlib

Viewer • Updated Jan 13 • 78k • 14

phanerozoic/Isabelle-seL4

Viewer • Updated Jan 13 • 74.1k • 20

phanerozoic/Agda-TypeTopology

Viewer • Updated Jan 13 • 7.78k • 18

phanerozoic/Agda-Prelude

Viewer • Updated Jan 13 • 735 • 15

phanerozoic/Agda-HoTT

Viewer • Updated Jan 13 • 604 • 14

phanerozoic/Agda-1Lab

Viewer • Updated Jan 13 • 2.11k • 13

phanerozoic/Agda-UniMath

Viewer • Updated Jan 13 • 4.49k • 14

phanerozoic/Agda-Categories

Viewer • Updated Jan 13 • 730 • 75

phanerozoic/Agda-Cubical

Viewer • Updated Jan 13 • 3.03k • 20

phanerozoic/Agda-Stdlib

Viewer • Updated Jan 13 • 7.07k • 21

phanerozoic/Lean4-Duper

Viewer • Updated Jan 13 • 1.56k • 22

phanerozoic/Lean4-LeanSAT

Viewer • Updated Jan 13 • 1.75k • 25

phanerozoic/Coq-Velus

Viewer • Updated Jan 13 • 9.8k • 60

phanerozoic/Coq-Metalib

Viewer • Updated Jan 13 • 1.75k • 20