18 results

mathlib

inall models datasets apps agents people projects

Models

All models matching “mathlib”

l3lab /ntp-mathlib-context-deepseek-coder-1.3btext-generationtransformers3 likes68 downloads2y agoHugging Face wellecks /llmstep-mathlib4-pythia2.8btext-generationtransformers6 likes63 downloads3y agoHugging Face l3lab /ntp-mathlib-st-deepseek-coder-1.3btext-generationtransformers0 likes37 downloads2y agoHugging Face awhecmu /Qwen3.5-9B-SFT-subproofs-mathlib-v4.29.0-Q5_K_M-GGUF0 likes17 downloads5mo agoHugging Face 30hzzh /llmstep-mathlib4-Pythia410m0 likes14 downloads1y agoHugging Face awhecmu /Qwen3.5-9B-SFT-subproofs-mathlib-v4.29.00 likes10 downloads5mo agoHugging Face Formal-Math-Reasoning /DRIFT-dpr-mathlib1 likes7 downloads8mo agoHugging Face fumiyau /mathlib4_state_diff_v20 likes4 downloads2y agoHugging Face