Library for running a Monte Carlo tree search, either traditionally or with expert policies
☆128Apr 22, 2024Updated last year
Alternatives and similar repositories for monte-carlo-tree-search
Users that are interested in monte-carlo-tree-search are comparing it to the libraries listed below
Sorting:
- Monte carlo tree search in python☆627Jul 2, 2022Updated 3 years ago
- A python framework for Optimal Planning Modulo Theories☆12Jan 26, 2024Updated 2 years ago
- Codebase accompanying the paper 'Widening the Representation Bottleneck in Neural Machine Translation with Lexical Shortcuts', (Emelin, D…☆11Feb 14, 2023Updated 3 years ago
- ☆12Jun 7, 2024Updated last year
- Repository containing code for getting statistical guarantees on properties of BNNs☆13Apr 24, 2019Updated 6 years ago
- ☆13Mar 11, 2018Updated 7 years ago
- Supplementary Material to accompany the paper, DJ Warne, SA Sisson, C Drovandi (2019) Acceleration of expensive computations in Bayesian…☆13Oct 23, 2020Updated 5 years ago
- Book and code and pointers to videos for my relational interpreter course☆12Jan 24, 2025Updated last year
- Blind Justice Code for the paper "Blind Justice: Fairness with Encrypted Sensitive Attributes", ICML 2018☆14Mar 20, 2019Updated 6 years ago
- Python library for program synthesis and symbolic execution combining constraint solving and LLMs☆38Updated this week
- Benchmark Generator for Global Routing☆13Jul 18, 2019Updated 6 years ago
- Official repository for paper "Goal-Aware Neural SAT Solver"☆17Jun 10, 2023Updated 2 years ago
- miniKanren implementation of ' Declarative semantics for functional languages: compositional, extensional, and elementary' by Jeremy Siek…☆15Mar 16, 2018Updated 7 years ago
- ☆12Jun 30, 2024Updated last year
- Neural Guided Constraint Logic Programming for Program Synthesis☆93Dec 30, 2018Updated 7 years ago
- An implementation of Monte Carlo Tree Search in python☆163Oct 27, 2020Updated 5 years ago
- Fast generator for random graphs with prescribed degree sequence☆18May 3, 2024Updated last year
- 深度学习☆13Feb 16, 2023Updated 3 years ago
- Neural Architecture Search using Deep Neural Network and Monte Carlo Tree Search☆170Oct 18, 2020Updated 5 years ago
- f-divergence based t-SNE☆16Oct 9, 2022Updated 3 years ago
- Explainable machine learning☆17Mar 17, 2019Updated 6 years ago
- ☆12Feb 20, 2024Updated 2 years ago
- Making a bridge between NLP models and Brain data☆19Jun 3, 2020Updated 5 years ago
- convert pytorch model to ncnn☆13Dec 5, 2018Updated 7 years ago
- an implementation of a microKanren(-like language) in miniKanren☆27Aug 1, 2014Updated 11 years ago
- program synthesis with neuro-symbolic differentiable interpreters☆17Sep 17, 2025Updated 5 months ago
- A library for verifying graph-manipulating programs. Powered by Coq and VST. Compatible with CompCert.☆18Aug 21, 2025Updated 6 months ago
- ☆20Aug 16, 2021Updated 4 years ago
- Relational interpeter combining miniKanren-in-miniKanren and Scheme-in-miniKanren☆21Jun 16, 2025Updated 8 months ago
- Visualization for WebPPL☆14May 2, 2018Updated 7 years ago
- 复现论文《Distilling Task-Specific Knowledge from BERT into Simple Neural Networks》☆16Jun 13, 2021Updated 4 years ago
- ☆66Jan 13, 2023Updated 3 years ago
- Deep Learning Compression and Acceleration SDK -- deep model compression for Edge and IoT embedded systems, and deep model acceleration f…☆20Mar 17, 2018Updated 7 years ago
- Code for DOPING: Generative Data Augmentation for Unsupervised Anomaly Detection with GAN☆15Aug 23, 2018Updated 7 years ago
- Tool to manage ollama model on vast.ai☆19Apr 19, 2024Updated last year
- Resources from the Polyconf 2015 talk & relational interpreters workshop☆16Jul 5, 2015Updated 10 years ago
- A systematic CPU/GPU performance study of lightgbm and xgboost classifiers for different data shapes and hardware setups.☆18Aug 12, 2020Updated 5 years ago
- ☆16May 21, 2020Updated 5 years ago
- Solving the Rubik's cube with deep reinforcement learning and Monte Carlo tree search☆107Apr 15, 2019Updated 6 years ago