#autoformalizacion

Cómo enseñar a agentes de IA a hacer mejores preguntas usando 'Battleship'

Un equipo de CSAIL y SEAS transformó el clásico juego Battleship en un laboratorio para evaluar cómo los modelos de lenguaje formulan preguntas útiles. Aplicando inferencia Monte Carlo y autoformalización en Python, lograron que modelos pequeños compitieran y superaran a jugadores humanos en eficiencia de búsqueda.