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-atlas

published a dataset about 6 hours ago

phanerozoic/dna-origin-atlas

updated a model about 6 hours ago

phanerozoic/threshold-mod3

View all activity

Organizations

phanerozoic 's datasets 98

phanerozoic/Lean4-Changelog

Viewer • Updated Jan 10 • 3.21k • 267

phanerozoic/Lean4-Changelog-QA

Viewer • Updated Jan 12, 2025 • 2k • 81 • 1

phanerozoic/Coq-Changelog-QA

Viewer • Updated Dec 26, 2024 • 822 • 71

phanerozoic/Coq-MetaCoq-QA

Viewer • Updated Dec 13, 2024 • 10.5k • 53

phanerozoic/Coq-HoTT-QA

Viewer • Updated Dec 10, 2024 • 7.83k • 49

phanerozoic/Coq-UniMath-QA

Viewer • Updated Dec 10, 2024 • 38.6k • 61 • 1

phanerozoic/PumpkinVision

Viewer • Updated Sep 13, 2024 • 1.91k • 23

phanerozoic/OldPirateLoraFinalV

Viewer • Updated Apr 29, 2024 • 2.22k • 7