Pinned Loading

1. deep-ltl deep-ltl Public

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

   Python

2. autodiff autodiff Public

   A minimal implementation of automatic differentiation for functions involving numpy arrays

   Python

3. SimpleInterpreter SimpleInterpreter Public

   A simple interpreter written in Python inspired by http://www.craftinginterpreters.com/

   Python

4. KRR-Oxford/BoxSquaredEL KRR-Oxford/BoxSquaredEL Public

   Python 6 1

5. AppliedMachineLearning AppliedMachineLearning Public

   My homework repository for the course Applied Machine Learning in Fall 2018 at UIUC.

   Python

6. GraphDB GraphDB Public

   A proof-of-concept implementation of a graph database supporting various types of queries in C++.

   C++