Models
Datasets
Spaces
Docs
Enterprise
Pricing
Log In
Sign Up

Charles Norton's picture

Charles Norton

phanerozoic

joshause's profile picture

CapitainJack's profile picture

abbbfsae'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 • 108
phanerozoic/Lean4-Changelog-QA

Viewer • Updated Jan 12 • 2k • 32 • 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 • 66
phanerozoic/Tiny-Cowboy-1.1b-v0.1

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

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

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

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

phanerozoic/BERT-Sentiment-Classifier

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

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

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

Digesting Coq libraries for AI ingestion.

phanerozoic/Coq-HoTT

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

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

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

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

Science Fine-tunes

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

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

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

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

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

phanerozoic/BART-Large-CNN-Enhanced

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

0.4B • Updated Jun 9, 2024 • 10

Digesting Lean Data

phanerozoic/Lean4-Changelog

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

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

Digesting Coq libraries for AI ingestion.

phanerozoic/Coq-HoTT

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

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

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

Viewer • Updated Dec 10, 2024 • 38.6k • 58 • 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 • 66
phanerozoic/Tiny-Cowboy-1.1b-v0.1

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

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

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

Science Fine-tunes

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

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

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

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

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

phanerozoic/BERT-Sentiment-Classifier

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

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

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

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

phanerozoic/BART-Large-CNN-Enhanced

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

0.4B • Updated Jun 9, 2024 • 10

Company

TOS Privacy About Careers

Website

Models Datasets Spaces Pricing Docs