Luca Bortolussi

Un nuevo método para integrar lógica temporal en sistemas de IA.

Un método para derivar requisitos de seguridad a partir de datos de comportamiento del sistema.

Asegurando que las explicaciones de la IA sean claras y confiables para generar confianza en los usuarios.

Aprende cómo los transformadores procesan datos y se adaptan a nuevas tareas.

Combinar técnicas avanzadas simplifica el diseño de circuitos analógicos para una mejor eficiencia.