Explore projects
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Home of the Isabelle_C development. See https://www.lri.fr/~wolff/projects/Isabelle_C/ and F-IDE 2019 publication
UpdatedUpdated -
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Etat de l'art sur l'évaluation, la détection et la réduction des hallucinations dans les LLMs.
Updated -
A benchmark library for time series classification with grad Cam visualisations, focused on geological data.
Updated