Noticias externas

Resumen: Los modelos basados ​​en lógica se pueden utilizar para crear herramientas de verificación para clasificadores de aprendizaje automático empleados en el campo legal. Los clasificadores de ML predicen los resultados de casos nuevos basándose en los anteriores, realizando así una forma de razonamiento basado en casos (CBR).

Resumen:Presentamos Sentinel, el primer marco para evaluar formalmente la seguridad física de agentes incorporados en el modelo de lenguaje grande (LLM) en los niveles semántico, de plan y de trayectoria.

Resumen:A medida que los modelos de lenguaje continúan mejorando rápidamente, podemos esperar que sus acciones y razonamientos se vuelvan difíciles o imposibles de seguir para los agentes y humanos más débiles, lo que socava la interpretabilidad y la supervisión.