Noticias externas

Resumen: El conjunto de permutaciones aleatorias (RPS) es un nuevo formalismo para razonar con incertidumbre que involucra información de orden. Medir el conflicto entre dos piezas de evidencia representadas por funciones de permutación de masas sigue siendo un tema de investigación urgente en la fusión de información incierta estructurada en orden.

Resumen: El repositorio de datos Motor Research (MO|RE), desarrollado en el Instituto Tecnológico de Karlsruhe, es una infraestructura para publicar y archivar datos de investigación en ciencias del deporte, particularmente en el campo de la investigación del rendimiento motor. En este artículo, presentamos nuestra visión para crear un gráfico de conocimiento a partir de datos MO|RE.

Resumen: La autoformalización de pruebas, la tarea de traducir teoremas y pruebas del lenguaje natural a código verificable por máquina, es un paso crítico para integrar grandes modelos de lenguaje en flujos de trabajo matemáticos rigurosos.