Ayush Agrawal
Doctorat - UdeM
Superviseur⋅e principal⋅e
Sujets de recherche
Démonstration automatique de théorèmes
Grands modèles de langage (LLM)
Interprétabilité
Modèles génératifs
Raisonnement
Sécurité de l'IA
Traitement du langage naturel