models
Open weights, fine-tunes and adapters. Every listing here comes live from the Hugging Face Hub, attributed to it, and links back to the source.
ntp-mathlib-context-deepseek-coder-1.3bllmstep-mathlib4-pythia2.8bntp-mathlib-st-deepseek-coder-1.3bQwen3.5-9B-SFT-subproofs-mathlib-v4.29.0-Q5_K_M-GGUFllmstep-mathlib4-Pythia410mQwen3.5-9B-SFT-subproofs-mathlib-v4.29.0DRIFT-dpr-mathlibmathlib4_state_diff_v2mathlib4_state_diff_v3llmstep-mathlib4-pythia2.8bmathlib4_state_diffqwen3-0.6b-lightweight-semantic-mathlib-search-adaptermathlib_formal_v4.24.0Mathlib-Sexpr-GNN