Visored: Demostrador en lenguaje natural controlado para matemáticas LLM Visored permite a los LLMs generar pruebas matemáticas en lenguaje natural y exportarlas a Lean, sin necesidad de datos de entrenamiento específicos. 2026-06-17 · 2 min
