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