Charles Norton's picture

Building on HF

Charles Norton PRO

phanerozoic

·

CharlesCNorton

AI & ML interests

machina sola regnat

Recent Activity

updated a model about 3 hours ago

phanerozoic/truetide

published a model about 3 hours ago

phanerozoic/truetide

updated a dataset about 4 hours ago

phanerozoic/ww3-ndbc-pairs

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 • 87 • 2

phanerozoic/Lean4-Changelog

Viewer • Updated Jan 10 • 3.21k • 54

phanerozoic/Lean4-Changelog-QA

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

phanerozoic/Coq-Changelog-QA

Viewer • Updated Dec 26, 2024 • 822 • 95

phanerozoic/Coq-MetaCoq-QA

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

phanerozoic/Coq-HoTT-QA

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

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