Charles Norton's picture

Charles Norton

phanerozoic

·

CharlesCNorton

AI & ML interests

Machina vincit omnia

Recent Activity

upvoted an article 16 days ago

Arc Virtual Cell Challenge: A Primer

new activity 22 days ago

openai-community/gpt2:0x16B851EB851EC0114201620000000000000000

upvoted an article 27 days ago

Reachy Mini - The Open-Source Robot for Today's and Tomorrow's AI Builders

View all activity

Organizations

phanerozoic 's datasets 12

phanerozoic/Lean4-Changelog-QA

Viewer • Updated Jan 12 • 2k • 50 • 1

phanerozoic/Lean4-Changelog

Viewer • Updated Jan 8 • 2k • 13

phanerozoic/Coq-Changelog-QA

Viewer • Updated Dec 26, 2024 • 822 • 19

phanerozoic/Coq-Changelog

Viewer • Updated Dec 23, 2024 • 411 • 8

phanerozoic/Coq-MetaCoq-QA

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

phanerozoic/Coq-HoTT

Viewer • Updated Dec 13, 2024 • 7.85k • 29 • 2

phanerozoic/Coq-MetaCoq

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

phanerozoic/Coq-HoTT-QA

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

phanerozoic/Coq-UniMath-QA

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

phanerozoic/Coq-UniMath

Viewer • Updated Dec 10, 2024 • 38.7k • 38

phanerozoic/PumpkinVision

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

phanerozoic/OldPirateLoraFinalV

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