We are excited to share that in September, CLEARSY had the opportunity to present our latest work and research in Artificial Intelligence at the AI Transformation Conference in Stockholm!
As an active member of the AIDOART project over the past years, we were thrilled to participate in this meeting organized by the project. Our own Norman Maury presented the advancements on the SolverPredict model which is a Recurrent Neural Network developed by CLEARSY to automatically classify B formal proofs on AtelierB.
Additionally, we showcased the AI local server that CLEARSY has recently acquired, along with the innovative tools we’re developing using the famous Large Language Models (LLMs) widely used for language generation and other natural language processing tasks . We’re eager to see how these developments will contribute to the future of AI and technology.
A big thank you to everyone involved in the AIDOART project and to all the attendees who made the conference a success. We’re looking forward to continued collaboration and innovation in the field of AI!