chasenorman/lean-premise-distilroberta-GGUF
81.5M • Updated • 42
Chase Norman
chasenorman
AI & ML interests
None yet
Recent Activity
updated a model about 1 month ago
chasenorman/lean-premise-distilroberta-GGUF published a model about 1 month ago
chasenorman/lean-premise-distilroberta-GGUF updated a dataset about 2 months ago
chasenorman/premises-mathlib-v4.31.0Organizations
None yet
datasets 7
chasenorman/premises-mathlib-v4.31.0
Viewer • Updated • 676k • 34
chasenorman/subproofs-mathlib-v4.31.0
Viewer • Updated • 437k • 145
chasenorman/rollout-premises-mathlib-v4.30.0
Viewer • Updated • 2.55k • 12
chasenorman/rollout-subproofs-mathlib-v4.30.0
Viewer • Updated • 4.14k • 15
chasenorman/premises-mathlib-v4.30.0
Viewer • Updated • 669k • 19 • 1
chasenorman/subproofs-mathlib-v4.30.0
Viewer • Updated • 433k • 16 • 1
chasenorman/subproofs-mathlib-v4.29.0
Viewer • Updated • 407k • 10