Le chemin vers l'autonomie vérifiable pour les agents IA

Aperçu

Explorez le chemin vers l'autonomie vérifiable chez les agents d'IA avec Zheng Leong Chua du réseau Automata lors de cette présentation à ETHTaipei 2025.

Programme

• Introduction à l'autonomie vérifiable
Vue d'ensemble de l'autonomie de l'IA
Importance de la vérifiabilité dans l'IA
Principaux défis pour atteindre l'autonomie vérifiable
• Fondements techniques
Bases de l'apprentissage automatique et des cadres de l'IA
Assurer la robustesse des modèles d'IA
Méthodes formelles dans la vérification de l'IA
• Architectures d'agents d'IA
Modélisation et simulation basées sur les agents
Architectures soutenant l'autonomie
Méthodes de vérification pour différentes architectures
• Assurer la sécurité et la fiabilité
Techniques d'assurance de la sécurité
Protocoles de test et de validation
Études de cas sur des systèmes d'IA sûrs et fiables
• Considérations éthiques et réglementaires
Implications éthiques de l'IA autonome
Paysages réglementaires actuels
Directions futures pour la réglementation de l'IA
• Outils et techniques de vérification
Outils de vérification automatisée
Vérification de modèles pour les systèmes d'IA
Environnements de simulation et de test
• Développement et déploiement d'agents d'IA vérifiables
Meilleures pratiques pour le développement
Stratégies de déploiement pour l'IA autonome
Mécanismes de surveillance et de mise à jour
• L'avenir de l'IA vérifiable
Tendances émergentes et technologies
Plan pour la recherche future
Impact sur l'industrie et la société
• Conclusion et questions-réponses
Résumé des points d'apprentissage clés
Discussion et questions ouvertes
Session interactive de questions-réponses avec Zheng Leong Chua

Sujets

Informatique