Charles Norton PRO

phanerozoic's activity

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

upvoted an article 19 days ago

view article

Article

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

20 days ago

• 124

New activity in swype/instruct 29 days ago

🚩 Report

#4 opened 29 days ago by

phanerozoic

updated a collection about 1 month ago

Lean Projects

Collection

Digesting Lean Data • 2 items • Updated about 1 month ago

updated a dataset about 1 month ago

phanerozoic/Lean4-Changelog-QA

Viewer • Updated Jan 12 • 2k • 65

updated a collection about 1 month ago

Lean Projects

Collection

Digesting Lean Data • 2 items • Updated about 1 month ago

updated a dataset about 1 month ago

phanerozoic/Lean4-Changelog

Viewer • Updated Jan 8 • 2k • 51

liked 2 models about 1 month ago

microsoft/phi-4

Text Generation • Updated 8 days ago • 582k • 1.71k

tiiuae/Falcon3-1B-Base

Text Generation • Updated Dec 17, 2024 • 11.1k • 21

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 • 18 • 2

jiuhai/florence-vl-8b-sft

Updated Dec 3, 2024 • 66 • 19

updated a collection about 2 months ago

Coq Projects

Collection

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

updated 2 datasets about 2 months ago

phanerozoic/Coq-Changelog-QA

Viewer • Updated Dec 26, 2024 • 822 • 62

phanerozoic/Coq-Changelog

Viewer • Updated Dec 23, 2024 • 411 • 56

updated a collection about 2 months ago

Coq Projects

Collection

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

liked a model about 2 months ago

answerdotai/ModernBERT-base

Fill-Mask • Updated 27 days ago • 8.57M • 728

updated a dataset about 2 months ago

phanerozoic/Coq-Changelog

Viewer • Updated Dec 23, 2024 • 411 • 56

updated a collection about 2 months ago

Coq Projects

Collection

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