Noticias externas

Resumen:El conjunto de datos integra 85.000 problemas AoPS seleccionados con 262.000 problemas StackExchange-Math de origen comunitario, combinando tareas de competencia estructuradas con diversas consultas matemáticas del mundo real. Realizamos evaluaciones controladas para evaluar la calidad del conjunto de datos.

Resumen: Los modelos de lenguaje basados ​​en transformadores muestran un impresionante comportamiento similar al razonamiento, pero siguen siendo frágiles en tareas que requieren una manipulación simbólica estable.

Resumen:Debido a la restricción de recursos, la programación eficiente en los vertipuertos ha recibido mucha más atención en el campo de la Movilidad Aérea Urbana (UAM). Para el problema de programación, utilizamos una programación lineal entera mixta (MILP), que a menudo se formula en un problema de programación de proyectos con recursos restringidos (RCPSP).