Loading...
Dernières publications en texte intégral
-
-
-
-
Rémi Saurel, Franck Silvestre, Jean-Baptiste Raclet, Emmanuel Lescure. MAESTRO: Multi-Agent Educational System for Tutoring and Recommendation Orchestration. ECTEL: European Conference on Technology-Enhanced Learning, EATEL: European Association on Technology-Enhanced Learning, Sep 2025, Newcastle, France. ⟨hal-05141354⟩
-
-
Rémi Saurel, Franck Silvestre, Jean-Baptiste Raclet, Emmanuel Lescure. Intégration responsable de l'IA Générative dans l'Éducation : proposition d'un plan d'actions stratégiques dirigé par les risques liés aux questions éthiques. 12ème Conférence sur les Environnements Informatiques pour l'Apprentissage Humain (EIAH 2025), ATIEF : Association des Technologies de l’Information pour l’Education et la Formation, Jun 2025, Lille, France. ⟨hal-05070808⟩
-
-
Ana de Almeida Borges, Annalí Casanueva Artís, Jean-Rémy Falleri, Emilio Jesús Gallego Arias, Érik Martin-Dorel, et al.. Lessons for Interactive Theorem Proving Researchers from a Survey of Coq Users. Journal of Automated Reasoning, 2025, 69 (8), pp.1-29. ⟨10.1007/s10817-025-09720-1⟩. ⟨hal-05081623⟩
-
-
Texte intégral
361
Répartition par type de document

