Resumen:A medida que los problemas de optimización se vuelven cada vez más complejos y diversos, los avances en las técnicas de optimización y las innovaciones de paradigmas adquieren una importancia significativa.
Leer más →
Resumen: Realizamos un análisis exhaustivo de las declaraciones formales e informales en el punto de referencia miniF2F desde la perspectiva de un sistema de inteligencia artificial que tiene la tarea de participar en una Olimpiada de matemáticas que consta de los problemas en miniF2F.
Leer más →
Resumen: La rápida adopción de modelos de lenguaje grande (LLM) en la atención médica ha ido acompañada de un escrutinio de su supervisión. Los enfoques de monitoreo existentes, heredados del aprendizaje automático (ML) tradicional, se basan en tareas y se basan en la supuesta degradación del rendimiento que surge de la deriva del conjunto de datos.
Leer más →