En este momento estás viendo 
<span class="bsf-rt-reading-time"><span class="bsf-rt-display-label" prefix="Tiempo de lectura"></span> <span class="bsf-rt-display-time" reading_time="1"></span> <span class="bsf-rt-display-postfix" postfix="mins"></span></span><!-- .bsf-rt-reading-time -->Lógica condicional universal: un lenguaje formal para ingeniería rápida

Lógica condicional universal: un lenguaje formal para ingeniería rápida

  • Autor de la entrada:
  • Categoría de la entrada:Noticias externas

Resumen:Presentamos la Lógica Condicional Universal (UCL), un marco matemático para la optimización rápida que transforma la ingeniería rápida de una práctica heurística a una optimización sistemática. A través de una evaluación sistemática (N=305, 11 modelos, 4 iteraciones), demostramos una reducción simbólica significativa (29,8%, t(10)=6,36, p <0,001, d de Cohen = 2,01) con los correspondientes ahorros de costos. La función de sobrecarga estructural O_s(A) de UCL explica las diferencias de rendimiento específicas de la versión a través de la paradoja de la sobreespecificación: más allá del umbral S* = 0,509, la especificación adicional degrada el rendimiento cuadráticamente. Se validan los mecanismos centrales: funciones indicadoras (I_i en {0,1}), sobrecarga estructural (O_s = gamma * suma(ln C_k)), enlace anticipado. En particular, la configuración óptima de UCL varía según la arquitectura del modelo: ciertos modelos (por ejemplo, Llama 4 Scout) requieren adaptaciones específicas de la versión (V4.1). Este trabajo establece a UCL como un marco calibrable para una interacción LLM eficiente, con la optimización específica de la familia de modelos como una dirección de investigación clave.

Publicado originalmente en export.arxiv.org el 5 de enero de 2026.
Ver fuente original

admin

Usuario de administración del sitio web