Niklas Lauffer's repositories
HoTT-Arend
This repository contains a library of type definitions and constructions written in Arend that follow the Homotopy Type Theory book.
Language:Python000
amnet
Affine Multiplexing Network Toolbox
Language:PythonBSD-3-Clause000
dfa-identify
Python library for identifying/learning DFAs from labeled examples by reduction to SAT.
Language:PythonMIT000
DISS
Demonstration Informed Specification Search
Language:PythonMIT000
LTL2Action
This is the code repository accompanying the paper LTL2Action: Generalizing LTL Instructions for Multi-Task RL (https://arxiv.org/abs/2102.06858).
Language:Python000
niklaslauffer.github.io
The academic personal website for Niklas Lauffer
Language:JavaScriptMIT000
Language:Python000
strategic-knowledge-MARL
Multi-Agent Reinforcement Learning with JAX
Language:PythonApache-2.0000
torch2jax
Run PyTorch in JAX. 🤝
Language:Python000