Explore projects

Public codebase for "Local Topology Measures of Contextual Language Model Latent Spaces With Applications to Dialogue Term Extraction" published in SIGDIAL 2024.

Modified version of the TLA+ tools for usage in ProB

Kodkod Wrapper for ProB

Standalone version of the Rodin Event-B parser and AST, published to Maven Central

The Camille Editor for Rodin

adds access to prob via vscode

A language server implementation for B, using ProB as backend, based on Java/Kotlin

Handwritten Text Recognition (HTR) system implemented with TensorFlow.