Charles Norton PRO

phanerozoic's activity

• All
• Models
• Datasets
• Spaces
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes

upvoted an article 12 days ago

view article

Article

SmolVLM Grows Smaller – Introducing the 250M & 500M Models!

13 days ago

• 109

New activity in swype/instruct 21 days ago

🚩 Report

#4 opened 21 days ago by

phanerozoic

updated a collection 23 days ago

Lean Projects

Collection

Digesting Lean Data • 2 items • Updated 23 days ago

updated a dataset 24 days ago

phanerozoic/Lean4-Changelog-QA

Viewer • Updated 24 days ago • 2k • 44

updated a collection 24 days ago

Lean Projects

Collection

Digesting Lean Data • 2 items • Updated 23 days ago

updated a dataset 27 days ago

phanerozoic/Lean4-Changelog

Viewer • Updated 27 days ago • 2k • 51

liked a model 27 days ago

microsoft/phi-4

Text Generation • Updated about 9 hours ago • 408k • 1.67k

liked a model 28 days ago

tiiuae/Falcon3-1B-Base

Text Generation • Updated Dec 17, 2024 • 9.63k • 19

liked a Space about 1 month ago

Running on Zero

39

39

Florence Llama

💬

Generate text responses based on images and input text

liked 2 models about 1 month ago

jiuhai/florence-vl-3b-sft

Updated Dec 3, 2024 • 36 • 2

jiuhai/florence-vl-8b-sft

Updated Dec 3, 2024 • 123 • 18

updated a collection about 1 month ago

Coq Projects

Collection

Digesting Coq libraries for AI ingestion. • 8 items • Updated Dec 26, 2024

updated 2 datasets about 1 month ago

phanerozoic/Coq-Changelog-QA

Viewer • Updated Dec 26, 2024 • 822 • 53

phanerozoic/Coq-Changelog

Viewer • Updated Dec 23, 2024 • 411 • 50

updated a collection about 1 month ago

Coq Projects

Collection

Digesting Coq libraries for AI ingestion. • 8 items • Updated Dec 26, 2024

liked a model about 1 month ago

answerdotai/ModernBERT-base

Fill-Mask • Updated 20 days ago • 7.08M • 720

updated a dataset about 1 month ago

phanerozoic/Coq-Changelog

Viewer • Updated Dec 23, 2024 • 411 • 50

updated a collection about 2 months ago

Coq Projects

Collection

Digesting Coq libraries for AI ingestion. • 8 items • Updated Dec 26, 2024