18 results

mathlib

inall models datasets apps agents people projects

Models

All models matching “mathlib”

l3lab /ntp-mathlib-context-deepseek-coder-1.3btext-generationtransformers3 likes80 downloads2y agoHugging Face wellecks /llmstep-mathlib4-pythia2.8btext-generationtransformers6 likes60 downloads3y agoHugging Face l3lab /ntp-mathlib-st-deepseek-coder-1.3btext-generationtransformers0 likes56 downloads2y agoHugging Face awhecmu /Qwen3.5-9B-SFT-subproofs-mathlib-v4.29.0-Q5_K_M-GGUF0 likes21 downloads6mo agoHugging Face Formal-Math-Reasoning /DRIFT-dpr-mathlib1 likes10 downloads8mo agoHugging Face fumiyau /mathlib4_state_diff_v30 likes9 downloads2y agoHugging Face fumiyau /mathlib4_state_diff_v20 likes8 downloads2y agoHugging Face 30hzzh /llmstep-mathlib4-Pythia410m0 likes8 downloads1y agoHugging Face