Noticias externas

Resumen: Introducimos SLR, un marco de extremo a extremo para la evaluación sistemática y la capacitación de modelos de idiomas grandes (LLM) a través del razonamiento lógico escalable. Dada la especificación de tareas de un usuario, SLR permite una síntesis escalable y automatizada de tareas de razonamiento inductivo con dificultad controlada con precisión.

Resumen: Introducimos y comparamos una heurística de búsqueda local estocástica para el problema de satisfactuabilidad NP-completado 3-SAT que supera drásticamente a los solucionadores existentes en el reino notoriamente difícil de instancias críticamente difíciles.

Resumen: Introducimos a Cifly, un marco para primitivas algorítmicas eficientes en la inferencia causal gráfica que aísla la accesibilidad como una operación de núcleo reutilizable.