Pinned Loading

1. JohnLyu2/z3alpha JohnLyu2/z3alpha Public

   Synthesizes efficient Z3 strategies tailored to your problem set! Repo for the IJCAI'24 paper: Layered and Staged Monte Carlo Tree Search for SMT Strategy Synthesis.

   Python 25 6

2. mini-curiosity mini-curiosity Public

   Forked from ayushbaweja/mini-curiosity

   A minimal implementation of ICM (Pathak et al., 2017)

   Jupyter Notebook

3. MoE-Prune MoE-Prune Public

   Python 1

4. Sync-Or-Sink Sync-Or-Sink Public

   Python

5. JohnLyu2/smt-select JohnLyu2/smt-select Public

   Python 2

6. borglab/gtsam borglab/gtsam Public

   GTSAM is a library of C++ classes that implement smoothing and mapping (SAM) in robotics and vision, using factor graphs and Bayes networks as the underlying computing paradigm rather than sparse m…

   Jupyter Notebook 3.5k 942