Hermes: razonamiento matemático eficiente y verificable en LLMs Descubre Hermes: agente que combina razonamiento informal y verificación formal en Lean para mejorar precisión matemática en LLMs un 40% con 80% menos coste. 2026-06-01 · 1 min
