Nous sommes heureux de vous annoncer qu’en septembre, CLEARSY a eu l’opportunité de présenter ses derniers travaux et recherches en intelligence artificielle lors de la conférence AI Transformation à Stockholm !
En tant que membre actif du projet AIDOART ces dernières années, nous étions ravis de participer à cette réunion organisée par le projet. Norman Maury a présenté les avancées du modèle SolverPredict, un réseau neuronal récurrent développé par CLEARSY pour classer automatiquement les preuves formelles B sur l’Atelier B.
En outre, nous avons présenté le serveur local d’IA que CLEARSY a récemment acquis, ainsi que les outils innovants que nous développons en utilisant les célèbres modèles de langage (LLM) largement utilisés pour la génération de langage et d’autres tâches de traitement du langage naturel. Nous sommes impatients de voir comment ces développements contribueront à l’avenir de l’IA et de la technologie.
Un grand merci à toutes les personnes impliquées dans le projet AIDOART et à tous les participants qui ont fait de la conférence un succès. Nous nous réjouissons de poursuivre la collaboration et l’innovation dans le domaine de l’IA !