Digesting Lean Data
Charles Norton PRO
phanerozoic
AI & ML interests
Machina vincit omnia
Recent Activity
commented on
an
article
2 days ago
Grok 3 ai : Best AI model now!
new activity
4 days ago
perplexity-ai/r1-1776:Keep political biases away from AI
Organizations
Collections
6
models
32

phanerozoic/BART-Large-CNN-Enhanced
Text2Text Generation
•
Updated
•
11

phanerozoic/BART-Large-CNN-Scratch
Text2Text Generation
•
Updated
•
14

phanerozoic/BERT-NER-Classifier
Token Classification
•
Updated
•
36

phanerozoic/BERT-Sentiment-Classifier
Text Classification
•
Updated
•
2.84k
•
1

phanerozoic/BERT-Question-Classifier
Text Classification
•
Updated
•
222

phanerozoic/Tiny-Pirate-1.1b-v0.2
Text Generation
•
Updated
•
72

phanerozoic/Llama3-Pirate-Talk-8b-v0.1
Text Generation
•
Updated
•
6

phanerozoic/Tiny-Viking-1.1b-v0.1
Text Generation
•
Updated
•
91

phanerozoic/Tiny-Cowboy-1.1b-v0.1
Text Generation
•
Updated
•
162

phanerozoic/Tiny-Pirate-1.1b-v0.1
Text Generation
•
Updated
•
124
•
1
datasets
12
phanerozoic/Lean4-Changelog-QA
Viewer
•
Updated
•
2k
•
71
phanerozoic/Lean4-Changelog
Viewer
•
Updated
•
2k
•
92
phanerozoic/Coq-Changelog-QA
Viewer
•
Updated
•
822
•
61
phanerozoic/Coq-Changelog
Viewer
•
Updated
•
411
•
114
phanerozoic/Coq-MetaCoq-QA
Viewer
•
Updated
•
10.5k
•
56
phanerozoic/Coq-HoTT
Viewer
•
Updated
•
7.85k
•
87
•
2
phanerozoic/Coq-MetaCoq
Viewer
•
Updated
•
10.5k
•
109
phanerozoic/Coq-HoTT-QA
Viewer
•
Updated
•
7.83k
•
96
phanerozoic/Coq-UniMath-QA
Viewer
•
Updated
•
38.6k
•
67
•
1
phanerozoic/Coq-UniMath
Viewer
•
Updated
•
38.7k
•
77