Observatorio de información y Publicaciones

Resumen:El proceso de diseño de ingeniería a menudo exige experiencia en múltiples dominios, lo que lleva a colaboraciones complejas y refinamientos iterativos. Los métodos tradicionales pueden consumir muchos recursos y ser propensos a ineficiencias.

Resumen: La inteligencia artificial formal explicable (XAI) ofrece garantías teóricas únicas de rigor en comparación con otros métodos no formales de explicabilidad. Sin embargo, se ha prestado poca atención a la validación de implementaciones prácticas de explicadores formales.

Resumen:Con la aplicación generalizada de los modelos de lenguajes grandes (LLM), sus problemas de seguridad asociados se han vuelto cada vez más prominentes, lo que limita gravemente su implementación confiable en dominios críticos.