Charles Norton PRO

phanerozoic's activity

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

updated a dataset 1 minute ago

phanerozoic/Lean4-Changelog-QA

Updated 1 minute ago

updated a collection about 3 hours ago

Lean Projects

Collection

Digesting Lean Data • 1 item • Updated about 3 hours ago

updated a dataset 3 days ago

phanerozoic/Lean4-Changelog

Viewer • Updated 3 days ago • 2k • 4

liked a model 3 days ago

microsoft/phi-4

Text Generation • Updated 3 days ago • 35.9k • 967

liked a model 4 days ago

tiiuae/Falcon3-1B-Base

Text Generation • Updated 25 days ago • 4.65k • 13

liked a Space 11 days ago

Running on Zero

38

💬

Florence Llama

liked 2 models 11 days ago

jiuhai/florence-vl-3b-sft

Updated Dec 3, 2024 • 60 • 2

jiuhai/florence-vl-8b-sft

Updated Dec 3, 2024 • 130 • 18

updated a collection 16 days ago

Coq Projects

Collection

Digesting Coq libraries for AI ingestion. • 8 items • Updated 16 days ago

updated a dataset 16 days ago

phanerozoic/Coq-Changelog-QA

Viewer • Updated 16 days ago • 822 • 19

updated a dataset 19 days ago

phanerozoic/Coq-Changelog

Viewer • Updated 19 days ago • 411 • 21

updated a collection 19 days ago

Coq Projects

Collection

Digesting Coq libraries for AI ingestion. • 8 items • Updated 16 days ago

liked a model 19 days ago

answerdotai/ModernBERT-base

Fill-Mask • Updated about 14 hours ago • 2.89M • 646

updated a collection 27 days ago

Coq Projects

Collection

Digesting Coq libraries for AI ingestion. • 8 items • Updated 16 days ago