Charles Norton's picture

Building on HF

Charles Norton PRO

phanerozoic

·

CharlesCNorton

AI & ML interests

machina sola regnat

Recent Activity

updated a dataset about 11 hours ago

phanerozoic/qiskit-calibration-drift

updated a dataset about 12 hours ago

phanerozoic/hi-21cm-survey

updated a dataset 1 day ago

phanerozoic/constellaration-tracker-results

View all activity

Organizations

phanerozoic 's datasets 98

phanerozoic/Lean4-Changelog

Viewer • Updated Jan 10 • 3.21k • 268

phanerozoic/Lean4-Changelog-QA

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

phanerozoic/Coq-Changelog-QA

Viewer • Updated Dec 26, 2024 • 822 • 89

phanerozoic/Coq-MetaCoq-QA

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

phanerozoic/Coq-HoTT-QA

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

phanerozoic/Coq-UniMath-QA

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

phanerozoic/PumpkinVision

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

phanerozoic/OldPirateLoraFinalV

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