Explore projects
-
Updated
-
Updated
-
Home of the Isabelle_C development. See https://www.lri.fr/~wolff/projects/Isabelle_C/ and F-IDE 2019 publication
UpdatedUpdated -
-
Constraint-Acquisition / Choco-Learner
BSD 2-Clause "Simplified" LicenseUpdated -
Updated
-
Knowledge Graph Nexus / Metadata
Creative Commons Attribution 4.0 InternationalUpdated -
Updated
-
Remi Uro / TextGrids.jl
CeCILL Free Software License Agreement v1.0Updated -
Updated
-
Etat de l'art sur l'évaluation, la détection et la réduction des hallucinations dans les LLMs.
Updated -
Updated
-
Shwetha Salimath / GeoXTS
Creative Commons Attribution Non Commercial Share Alike 4.0 InternationalA benchmark library for time series classification with grad Cam visualisations, focused on geological data.
Updated -
Updated
-
Updated