4 results

4.29.0

inall models datasets apps agents people projects

Models

All models matching “4.29.0”

awhecmu /Qwen3.5-9B-SFT-subproofs-mathlib-v4.29.0-Q5_K_M-GGUF0 likes17 downloads5mo agoHugging Face awhecmu /Qwen3.5-9B-SFT-subproofs-mathlib-v4.29.00 likes10 downloads5mo agoHugging Face

Datasets

All datasets matching “4.29.0”

chasenorman /subproofs-mathlib-v4.29.0text100K<n<1M0 likes12 downloads6mo agoHugging Face saharshb /mathlib_formal_v4.29.0text100K<n<1M0 likes10 downloads6mo agoHugging Face