Raisonnement symbolique sur les grands modèles de langage

Aperçu

Join us for an insightful exploration of how symbolic reasoning algorithms can be effectively integrated into language models. This event focuses on the potential of these algorithms to transform and enhance controllable text generation and alignment, offering a fresh perspective to challenge the long-standing token-based reasoning paradigm.

Brought to you by a prestigious university and available on YouTube, this event is perfect for those interested in artificial intelligence and computer science fields.

Discover the cutting-edge intersection of symbolic reasoning and language models, and learn how it can revolutionize text generation and alignment techniques.

Programme

• Introduction au raisonnement symbolique et aux grands modèles de langage
Aperçu de l'IA symbolique
Bases des grands modèles de langage (LLM)
Pourquoi combiner le raisonnement symbolique avec les LLM ?
• Fondements théoriques
Logique symbolique et représentation sémantique
Méthodes formelles en IA et PNL
Défis du raisonnement basé sur les tokens
• Algorithmes de raisonnement symbolique
Systèmes à base de règles
Ontologies et graphes de connaissances
Problèmes de satisfaction de contraintes
• Intégration des méthodes symboliques avec les modèles de langage
Modèles hybrides pour la génération de texte contrôlable
Études de cas : intégrations réussies
Défis et limitations
• Génération de texte contrôlable
Techniques pour le contrôle dans la génération
Exploiter les composants symboliques pour la cohérence
Applications et cas d'utilisation
• Alignement des LLMs avec les objectifs humains
Définir et mesurer l'alignement
Techniques symboliques pour un alignement amélioré
Considérations éthiques
• Mise en œuvre pratique
Outils et cadres pour les systèmes hybrides
Processus d'intégration étape par étape
Activités pratiques et sessions de laboratoire
• Sujets avancés et orientations de recherche
L'avenir du raisonnement symbolique en IA
Paradigmes et technologies émergentes
Recherche actuelle et défis ouverts
• Synthèse et conclusion
Points clés à retenir
Discussion sur le rôle du raisonnement symbolique dans l'IA future
• Projet final / Projet de fin d'études
Proposition de projet et directives
Intégration du raisonnement symbolique dans une application LLM sélectionnée
Présentation et révision par les pairs
• Ressources supplémentaires
Lectures recommandées
Cours en ligne et ateliers
Conférences et revues dans le domaine

---

Matières

Computer Science