Explore projects
-
Updated
-
Updated
-
Public codebase for "Local Topology Measures of Contextual Language Model Latent Spaces With Applications to Dialogue Term Extraction" published in SIGDIAL 2024.
Updated -
-
-
-
Updated
-
Updated
-
Updated
-
Updated
-
Standalone version of the Rodin Event-B parser and AST, published to Maven Central
UpdatedUpdated -
Updated
-
Updated
-
-
-
A language server implementation for B, using ProB as backend, based on Java/Kotlin
Updated -
Handwritten Text Recognition (HTR) system implemented with TensorFlow.
Updated