Digesting Coq libraries for AI ingestion.
Charles Norton PRO
phanerozoic
AI & ML interests
Machina vincit omnia
Recent Activity
liked
a model
about 2 hours ago
answerdotai/ModernBERT-base
updated
a collection
8 days ago
Coq Projects
updated
a collection
8 days ago
Coq Projects
Organizations
models
32
phanerozoic/BART-Large-CNN-Enhanced
Text2Text Generation
•
Updated
•
20
phanerozoic/BART-Large-CNN-Scratch
Text2Text Generation
•
Updated
•
16
phanerozoic/BERT-NER-Classifier
Token Classification
•
Updated
•
12
phanerozoic/BERT-Sentiment-Classifier
Text Classification
•
Updated
•
321
•
1
phanerozoic/BERT-Question-Classifier
Text Classification
•
Updated
•
526
phanerozoic/Tiny-Pirate-1.1b-v0.2
Text Generation
•
Updated
•
17
phanerozoic/Llama3-Pirate-Talk-8b-v0.1
Text Generation
•
Updated
•
19
phanerozoic/Tiny-Viking-1.1b-v0.1
Text Generation
•
Updated
•
15
phanerozoic/Tiny-Cowboy-1.1b-v0.1
Text Generation
•
Updated
•
472
phanerozoic/Tiny-Pirate-1.1b-v0.1
Text Generation
•
Updated
•
79
•
1
datasets
8
phanerozoic/Coq-MetaCoq-QA
Viewer
•
Updated
•
10.5k
•
18
phanerozoic/Coq-HoTT
Viewer
•
Updated
•
7.85k
•
60
•
2
phanerozoic/Coq-MetaCoq
Viewer
•
Updated
•
10.5k
•
31
phanerozoic/Coq-HoTT-QA
Viewer
•
Updated
•
7.83k
•
151
phanerozoic/Coq-UniMath-QA
Viewer
•
Updated
•
38.6k
•
24
•
1
phanerozoic/Coq-UniMath
Viewer
•
Updated
•
38.7k
•
32
phanerozoic/PumpkinVision
Viewer
•
Updated
•
1.91k
•
46
phanerozoic/OldPirateLoraFinalV
Viewer
•
Updated
•
2.22k
•
42