Digesting Lean Data
Charles Norton
phanerozoic
AI & ML interests
Machina vincit omnia
Recent Activity
liked
a dataset
about 5 hours ago
nvidia/Nemotron-Math-Proofs-v1
updated
a dataset
about 8 hours ago
phanerozoic/Isabelle-Stdlib
updated
a dataset
about 8 hours ago
phanerozoic/Isabelle-seL4
Organizations
models
32
phanerozoic/BART-Large-CNN-Enhanced
0.4B
•
Updated
•
6
phanerozoic/BART-Large-CNN-Scratch
0.4B
•
Updated
•
5
phanerozoic/BERT-NER-Classifier
Token Classification
•
0.1B
•
Updated
•
192
phanerozoic/BERT-Sentiment-Classifier
Text Classification
•
0.1B
•
Updated
•
14
•
1
phanerozoic/BERT-Question-Classifier
Text Classification
•
0.1B
•
Updated
•
9
phanerozoic/Tiny-Pirate-1.1b-v0.2
Text Generation
•
1B
•
Updated
•
4
phanerozoic/Llama3-Pirate-Talk-8b-v0.1
Text Generation
•
8B
•
Updated
•
1
phanerozoic/Tiny-Viking-1.1b-v0.1
Text Generation
•
1B
•
Updated
•
3
phanerozoic/Tiny-Cowboy-1.1b-v0.1
Text Generation
•
1B
•
Updated
•
70
phanerozoic/Tiny-Pirate-1.1b-v0.1
Text Generation
•
1B
•
Updated
•
53
datasets
80
phanerozoic/Isabelle-Stdlib
Updated
phanerozoic/Isabelle-seL4
Updated
phanerozoic/Agda-Prelude
Updated
phanerozoic/Agda-HoTT
Updated
phanerozoic/Agda-Categories
Updated
phanerozoic/Agda-UniMath
Updated
phanerozoic/Agda-1Lab
Updated
phanerozoic/Agda-Cubical
Updated
phanerozoic/Lean4-Paperproof
Updated
phanerozoic/Lean4-Quote4
Updated