lmstudio-community/Qwen3-Next-80B-A3B-Instruct-MLX-8bit Text Generation • 80B • Updated Sep 17, 2025 • 51.4k • 2
FoVer Collection Process Reward Models (PRMs) trained on step-level error labels automatically annotated by formal verification tools. • 10 items • Updated about 3 hours ago • 1