Models
Datasets
Spaces
Docs
Enterprise
Pricing
Log In
Sign Up

Charles Norton's picture

Charles Norton

phanerozoic

21world's profile picture

TheBlock's profile picture

brianmatzelle's profile picture

·

CharlesCNorton

AI & ML interests

Machina vincit omnia

Organizations

phanerozoic 's collections 6

Digesting Lean Data

phanerozoic/Lean4-Changelog

Viewer • Updated Jan 8 • 2k • 103
phanerozoic/Lean4-Changelog-QA

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

TinyLlama Character Series

This is a collection of the models in my TinyLlama character series.

phanerozoic/Tiny-Pirate-1.1b-v0.1

Text Generation • 1B • Updated Mar 27, 2024 • 72
phanerozoic/Tiny-Cowboy-1.1b-v0.1

Text Generation • 1B • Updated Mar 27, 2024 • 85
phanerozoic/Tiny-Viking-1.1b-v0.1

Text Generation • 1B • Updated Apr 13, 2024 • 12
phanerozoic/Tiny-Knight-1.1b-v0.1

Text Generation • 1B • Updated Mar 25, 2024 • 57

Foundational BERT projects of mine. Basic milestones in practical NLP.

phanerozoic/BERT-Sentiment-Classifier

Text Classification • 0.1B • Updated May 13, 2024 • 26 • 1
phanerozoic/BERT-Question-Classifier

Text Classification • 0.1B • Updated May 12, 2024 • 16
phanerozoic/BERT-NER-Classifier

Token Classification • 0.1B • Updated May 14, 2024 • 24

Digesting Coq libraries for AI ingestion.

phanerozoic/Coq-HoTT

Viewer • Updated Dec 13, 2024 • 7.85k • 46 • 2
phanerozoic/Coq-HoTT-QA

Viewer • Updated Dec 10, 2024 • 7.83k • 91
phanerozoic/Coq-UniMath

Viewer • Updated Dec 10, 2024 • 38.7k • 51
phanerozoic/Coq-UniMath-QA

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

Science Fine-tunes

phanerozoic/Mistral-Astronomy-7b-v0.1

Text Generation • Updated Nov 23, 2023 • 11 • 4
phanerozoic/Mistral-Astronomy-7b-v0.2

Text Generation • Updated Nov 28, 2023 • 13 • 1
phanerozoic/Mistral-Darwin-7b-v0.1

Text Generation • Updated Nov 16, 2023 • 30 • 1

Foundational BART projects of mine. Basic milestones in practical NLP.

phanerozoic/BART-Large-CNN-Enhanced

0.4B • Updated Jun 9, 2024 • 12
phanerozoic/BART-Large-CNN-Scratch

0.4B • Updated Jun 9, 2024 • 14

Digesting Lean Data

phanerozoic/Lean4-Changelog

Viewer • Updated Jan 8 • 2k • 103
phanerozoic/Lean4-Changelog-QA

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

Digesting Coq libraries for AI ingestion.

phanerozoic/Coq-HoTT

Viewer • Updated Dec 13, 2024 • 7.85k • 46 • 2
phanerozoic/Coq-HoTT-QA

Viewer • Updated Dec 10, 2024 • 7.83k • 91
phanerozoic/Coq-UniMath

Viewer • Updated Dec 10, 2024 • 38.7k • 51
phanerozoic/Coq-UniMath-QA

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

TinyLlama Character Series

This is a collection of the models in my TinyLlama character series.

phanerozoic/Tiny-Pirate-1.1b-v0.1

Text Generation • 1B • Updated Mar 27, 2024 • 72
phanerozoic/Tiny-Cowboy-1.1b-v0.1

Text Generation • 1B • Updated Mar 27, 2024 • 85
phanerozoic/Tiny-Viking-1.1b-v0.1

Text Generation • 1B • Updated Apr 13, 2024 • 12
phanerozoic/Tiny-Knight-1.1b-v0.1

Text Generation • 1B • Updated Mar 25, 2024 • 57

Science Fine-tunes

phanerozoic/Mistral-Astronomy-7b-v0.1

Text Generation • Updated Nov 23, 2023 • 11 • 4
phanerozoic/Mistral-Astronomy-7b-v0.2

Text Generation • Updated Nov 28, 2023 • 13 • 1
phanerozoic/Mistral-Darwin-7b-v0.1

Text Generation • Updated Nov 16, 2023 • 30 • 1

Foundational BERT projects of mine. Basic milestones in practical NLP.

phanerozoic/BERT-Sentiment-Classifier

Text Classification • 0.1B • Updated May 13, 2024 • 26 • 1
phanerozoic/BERT-Question-Classifier

Text Classification • 0.1B • Updated May 12, 2024 • 16
phanerozoic/BERT-NER-Classifier

Token Classification • 0.1B • Updated May 14, 2024 • 24

Foundational BART projects of mine. Basic milestones in practical NLP.

phanerozoic/BART-Large-CNN-Enhanced

0.4B • Updated Jun 9, 2024 • 12
phanerozoic/BART-Large-CNN-Scratch

0.4B • Updated Jun 9, 2024 • 14

Company

TOS Privacy About Careers

Website

Models Datasets Spaces Pricing Docs