🌱 a fast, batteries-included static-site generator that transforms Markdown content into fully functional websites

pySMT: A library for SMT formulae manipulation and solving

The official implementation of DeepLTL: Learning to Efficiently Satisfy Complex LTL Specifications for Multi-Task RL (ICLR'25 Oral)

Exact Inference Engine for Probabilistic Programs

A collection of reference environments for offline reinforcement learning

Symbolic planners for problems and domains specified in PDDL.

An Open-Source Framework for Prompt-Learning.

Formalizing stochastic doubly-efficient debate

🦁 Personal blog theme built with Bootstrap, powered by Hugo.

Logically-Constrained Reinforcement Learning

Linkprompt: Natural and Universal Adversarial Attacks on Prompt-based Language Models

Official codebase for Decision Transformer: Reinforcement Learning via Sequence Modeling.

Parsing and printing SMT-LIB from Haskell.

Implementation of Vaidya and Dikin walks and experiments

Codebase for the paper "How Crucial is Transformer in Decision Transformer?". Containing experiments on different pendulum tasks and code for Decision LSTM architecture. Extension of the original D…

Haskell bindings to Microsoft's Z3 API (unofficial).

A real-time visualisation of the CO2 emissions of electricity consumption

Collection of various algorithms in mathematics, machine learning, computer science and physics implemented in C++ for educational purposes.

Client/server to synchronize media playback on mpv/VLC/MPC-HC/MPC-BE on many computers

Uniform sampling under linear equality and inequality constraints