Más allá del matching: Evaluación semántica de extracción de tablas PDF
Descubre cómo la evaluación semántica con LLM supera a TEDS y GriTS en precisión, con correlación humana de 0.93. Benchmark de 21 parsers PDF.
#its
Alineación de Valor Esperado para Verificación Formal en Matemáticas
EVA: nueva técnica de alineación de valor esperado que permite recompensas continuas en verificación formal de matemáticas con Lean 4. Mejora la evaluación de pasos intermedios.
BitsMoE: Asignación eficiente de bits para cuantización de MoE LLM
BitsMoE asigna bits inteligentemente en MoE LLM, logrando cuantización 2 bits con 27.83% más precisión, 12.3x más rápida y 1.76x más velocidad.
Caos ordenado: capturando anomalías de energía en falsificaciones con IA
FLAME detecta falsificaciones de IA mediante anomalías de energía, superando métodos tradicionales. Nuevo estado del arte en localización.
Límites inferiores teóricos para optimización estocástica con bits limitados
Descubre cómo los límites informacionales afectan la optimización estocástica con gradientes de baja precisión: reducción a estimación gaussiana.
ML con Túnel Cuántico: Modelos de Ruido Físicos
El algoritmo TAC corrige errores por túnel cuántico en IA sin reentrenamiento. Recupera el 95% de precisión con 3.4x menos gastos generales.