Hugging Face ya aloja el modelo AutoVerifier de InternLM, desarrollado sobre la arquitectura Qwen3_5Moe. El modelo recibe un problema, una solución de referencia opcional y una demostración candidata paso a paso; luego indica si es correcta, señala los errores y marca el índice del primer fallo. El modelo está distribuido en 40 archivos safetensors que suman unos 68 GiB y utiliza InternS1Tokenizer. Está pensado como evaluador automático para el conjunto ProverBench de AdvancedMathBench, aunque sus creadores advierten que todavía puede cometer errores.
Se puede ejecutar sin cargar los pesos: basta con crear una instrucción usando la plantilla proof_verifier.md incluida y pasarla al formato de chat del tokenizador.
Por qué importa
Ofrece a los investigadores una forma rápida y automatizada de evaluar demostraciones matemáticas complejas sin calificarlas manualmente.
