Observatorio de información y Publicaciones

Resumen: En este documento, avanzamos la búsqueda local de módulos de satisfacción La teoría de la aritmética real no lineal (SMT-NRA para abreviar). Primero, presentamos un movimiento de salto celular bidimensional, llamado enft {$ 2d $ -cell-jump}, generalizando la operación clave, celular, del método de búsqueda local para SMT-NRA.

Resumen: El razonamiento matemático se ha convertido en el hijo del progreso en los modelos de lenguaje grande (LLMS), con nuevos modelos que superan rápidamente el rendimiento a nivel humano en puntos de referencia como las matemáticas y el AIME.

Resumen: Introducimos a Astro, el “razonador autorregresivo enseñado de búsqueda”, un marco para capacitar modelos de lenguaje para razonar, como algoritmos de búsqueda, aprovechando explícitamente la autorreflexión, el retroceso y la exploración en sus salidas.