Chase Norman

chasenorman's activity

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

updated a model about 1 month ago

chasenorman/lean-premise-distilroberta-GGUF

81.5M • Updated Jul 12 • 42

published a model about 1 month ago

chasenorman/lean-premise-distilroberta-GGUF

81.5M • Updated Jul 12 • 42

updated 2 datasets about 2 months ago

chasenorman/premises-mathlib-v4.31.0

Viewer • Updated Jun 17 • 676k • 34

chasenorman/subproofs-mathlib-v4.31.0

Viewer • Updated Jun 17 • 437k • 145

published 2 datasets about 2 months ago

chasenorman/premises-mathlib-v4.31.0

Viewer • Updated Jun 17 • 676k • 34

chasenorman/subproofs-mathlib-v4.31.0

Viewer • Updated Jun 17 • 437k • 145

updated a dataset 3 months ago

chasenorman/rollout-premises-mathlib-v4.30.0

Viewer • Updated May 27 • 2.55k • 12

published a dataset 3 months ago

chasenorman/rollout-premises-mathlib-v4.30.0

Viewer • Updated May 27 • 2.55k • 12

updated a dataset 3 months ago

chasenorman/rollout-subproofs-mathlib-v4.30.0

Viewer • Updated May 27 • 4.14k • 15

published a dataset 3 months ago

chasenorman/rollout-subproofs-mathlib-v4.30.0

Viewer • Updated May 27 • 4.14k • 15

updated a dataset 3 months ago

chasenorman/premises-mathlib-v4.30.0

Viewer • Updated May 27 • 669k • 19 • 1

published a dataset 3 months ago

chasenorman/premises-mathlib-v4.30.0

Viewer • Updated May 27 • 669k • 19 • 1

updated a dataset 3 months ago

chasenorman/subproofs-mathlib-v4.30.0

Viewer • Updated May 27 • 433k • 16 • 1

published a dataset 3 months ago

chasenorman/subproofs-mathlib-v4.30.0

Viewer • Updated May 27 • 433k • 16 • 1

updated a dataset 4 months ago

chasenorman/subproofs-mathlib-v4.29.0

Viewer • Updated Apr 11 • 407k • 10

published a dataset 4 months ago

chasenorman/subproofs-mathlib-v4.29.0

Viewer • Updated Apr 11 • 407k • 10