☆25Aug 1, 2022Updated 3 years ago
Alternatives and similar repositories for program-synthesis-guided-RL
Users that are interested in program-synthesis-guided-RL are comparing it to the libraries listed below
Sorting:
- Python3 auto-active verification library (migrated to an Intel project)☆25Apr 7, 2022Updated 3 years ago
- A Coq framework to support structural design and proof of hardware cache-coherence protocols☆14May 7, 2022Updated 3 years ago
- ☆17Oct 12, 2023Updated 2 years ago
- LTL2PDDL tool☆11Jul 7, 2017Updated 8 years ago
- CMurphi mirror: http://mclab.di.uniroma1.it/site/index.php/software/18-cmurphi☆12Jan 22, 2016Updated 10 years ago
- A2C training of Relational Deep Reinforcement Learning Architecture☆13Jun 22, 2022Updated 3 years ago
- ☆15Aug 9, 2021Updated 4 years ago
- Encoding different problems into Boolean satisfiability☆12Sep 29, 2022Updated 3 years ago
- ☆16Feb 22, 2021Updated 5 years ago
- ICLR'22 Programmatic Reinforcement Learning☆16Apr 15, 2023Updated 2 years ago
- This repository contains the TLA+ specification of the ownership and the reliable commit protocols for transactions in Zeus work that app…☆20Jun 12, 2022Updated 3 years ago
- Cross platform Instant Outbidding Bot, Instant Outbidder Bot is designed to outbid all real-time bids within a second by percentage incre…☆100Jan 17, 2023Updated 3 years ago
- ☆20May 11, 2023Updated 2 years ago
- ☆38Mar 10, 2022Updated 3 years ago
- Online BDD Simulation Tool☆24Jul 29, 2025Updated 7 months ago
- Pytorch code for "Learning Belief Representations for Imitation Learning in POMDPs" (UAI 2019)☆22Aug 4, 2022Updated 3 years ago
- FusionFS: Fusing I/O Operations using CISCOps in Firmware File Systems, FAST '22☆19Apr 10, 2022Updated 3 years ago
- We solve the two challenges architects face when designing heterogeneous processors with cache coherent shared memory. First, we develop …☆20Jan 7, 2022Updated 4 years ago
- library learning w egraphs☆26May 31, 2023Updated 2 years ago
- Strix is a tool for reactive synthesis of controllers from LTL specifications.☆24Sep 16, 2022Updated 3 years ago
- Open source release from our ICLR 2020 paper, CLN2INV: Learning Loop Invariants with Continuous Logic Networks.☆21Jun 8, 2020Updated 5 years ago
- Reward shaping approach for instruction following settings, leveraging language at multiple levels of abstraction.☆21Mar 9, 2021Updated 4 years ago
- Learning problem-solving, logic/set, math, physics, economics through functional programming using Haskell☆19Oct 16, 2015Updated 10 years ago
- This tool enriches ltl2ba, which transofrms LTL formulas into Buchi Automatons, with graph generation capabilities.☆25Sep 15, 2017Updated 8 years ago
- Free ChatGPT API Key ，免费ChatGPT API，支持GPT4 API，ChatGPT国内可用免费转发API，直连无需代理。☆13Aug 28, 2024Updated last year
- MLCAD 2020: Reinforcement for logic optimization sequence exploration☆29Oct 17, 2020Updated 5 years ago
- Code for ICLR 2022 paper Rethinking Goal-Conditioned Supervised Learning and Its Connection to Offline RL.☆28Feb 21, 2022Updated 4 years ago
- Meta-Inverse Reinforcement Learning with Probabilistic Context Variables☆76Mar 16, 2023Updated 2 years ago
- Prefix-Aware Attention for LLM Decoding☆29Jan 23, 2026Updated last month
- Official Release of NeurIPS 2020 Spotlight paper "Generative Neurosymbolic Machines"☆36Mar 9, 2024Updated last year
- Discovering and Achieving Goals via World Models, NeurIPS 2021☆87Jan 24, 2024Updated 2 years ago
- ☆44Updated this week
- Finding bugs in P4 compilers using translation validation.☆39Nov 4, 2025Updated 3 months ago
- Random Generator of Btor2 Files☆10Sep 2, 2023Updated 2 years ago
- Sequence Planner☆12Nov 17, 2017Updated 8 years ago
- A copy of the latest version of MVSIS☆12Apr 18, 2021Updated 4 years ago
- netbeacon - monitoring your network capture, NIDS or network analysis process☆19Oct 26, 2013Updated 12 years ago
- [ICDCS 2023] Evaluation and Optimization of Gradient Compression for Distributed Deep Learning☆10Apr 28, 2023Updated 2 years ago
- A Terraria clone in Python, just for fun☆10Jun 7, 2020Updated 5 years ago