Digesting Lean Data
Charles Norton
phanerozoic
AI & ML interests
Machina vincit omnia
Recent Activity
upvoted
an
article
3 days ago
Arc Virtual Cell Challenge: A Primer
new activity
8 days ago
openai-community/gpt2:0x16B851EB851EC0114201620000000000000000
upvoted
an
article
14 days ago
Reachy Mini - The Open-Source Robot for Today's and Tomorrow's AI Builders
Organizations
models
32
phanerozoic/BART-Large-CNN-Enhanced
0.4B
•
Updated
•
5
phanerozoic/BART-Large-CNN-Scratch
0.4B
•
Updated
•
6
phanerozoic/BERT-NER-Classifier
Token Classification
•
0.1B
•
Updated
•
2
phanerozoic/BERT-Sentiment-Classifier
Text Classification
•
0.1B
•
Updated
•
24
•
1
phanerozoic/BERT-Question-Classifier
Text Classification
•
0.1B
•
Updated
•
12
phanerozoic/Tiny-Pirate-1.1b-v0.2
Text Generation
•
1B
•
Updated
•
6
phanerozoic/Llama3-Pirate-Talk-8b-v0.1
Text Generation
•
8B
•
Updated
•
7
phanerozoic/Tiny-Viking-1.1b-v0.1
Text Generation
•
1B
•
Updated
•
10
phanerozoic/Tiny-Cowboy-1.1b-v0.1
Text Generation
•
1B
•
Updated
•
9
phanerozoic/Tiny-Pirate-1.1b-v0.1
Text Generation
•
1B
•
Updated
•
7
datasets
12
phanerozoic/Lean4-Changelog-QA
Viewer
•
Updated
•
2k
•
48
•
1
phanerozoic/Lean4-Changelog
Viewer
•
Updated
•
2k
•
32
phanerozoic/Coq-Changelog-QA
Viewer
•
Updated
•
822
•
23
phanerozoic/Coq-Changelog
Viewer
•
Updated
•
411
•
17
phanerozoic/Coq-MetaCoq-QA
Viewer
•
Updated
•
10.5k
•
20
phanerozoic/Coq-HoTT
Viewer
•
Updated
•
7.85k
•
17
•
2
phanerozoic/Coq-MetaCoq
Viewer
•
Updated
•
10.5k
•
49
phanerozoic/Coq-HoTT-QA
Viewer
•
Updated
•
7.83k
•
24
phanerozoic/Coq-UniMath-QA
Viewer
•
Updated
•
38.6k
•
52
•
1
phanerozoic/Coq-UniMath
Viewer
•
Updated
•
38.7k
•
42