Charles Norton's picture

Building on HF

Charles Norton PRO

phanerozoic

·

CharlesCNorton

AI & ML interests

machina sola regnat

Recent Activity

updated a dataset 23 minutes ago

phanerozoic/ww3-ndbc-pairs

published a dataset 23 minutes ago

phanerozoic/ww3-ndbc-pairs

updated a model 23 minutes ago

phanerozoic/ww3-mos-corrector

View all activity

Organizations

phanerozoic 's datasets 100

phanerozoic/Lean4-Stdlib

Viewer • Updated Jan 10 • 40.6k • 13

phanerozoic/Lean4-Mathlib

Viewer • Updated Jan 10 • 193k • 89 • 2

phanerozoic/Lean4-Changelog

Viewer • Updated Jan 10 • 3.21k • 271

phanerozoic/Lean4-Changelog-QA

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

phanerozoic/Coq-Changelog-QA

Viewer • Updated Dec 26, 2024 • 822 • 88

phanerozoic/Coq-MetaCoq-QA

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

phanerozoic/Coq-HoTT-QA

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

phanerozoic/Coq-UniMath-QA

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

phanerozoic/PumpkinVision

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

phanerozoic/OldPirateLoraFinalV

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