Observatorio de información y Publicaciones

Resumen: Los modelos de lenguaje grande (LLM) con razonamiento en cadena de pensamiento (CoT) han logrado un rendimiento sólido en diversas tareas, incluidas matemáticas, codificación y razonamiento general. Una capacidad distintiva de estos modelos de razonamiento es la autorreflexión: la capacidad de revisar y revisar pasos de razonamiento anteriores.

Resumen:Asignamos a cada modelo la tarea de generar pruebas formales en LaTeX para una serie de lemas y ejercicios que abarcan el libro de texto.

Resumen: El aprendizaje federado (FL) se ha convertido en un paradigma líder de aprendizaje automático que preserva la privacidad y permite a los participantes compartir actualizaciones de modelos en lugar de datos sin procesar. Sin embargo, FL continúa enfrentando desafíos clave, incluidos débiles incentivos para los clientes, riesgos de privacidad y limitaciones de recursos.