Levin tree search guided by both a policy and a heuristic function
☆19Jul 13, 2023Updated 2 years ago
Alternatives and similar repositories for h-levin
Users that are interested in h-levin are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆35Apr 2, 2026Updated last week
- An evaluation suite for Retrieval-Augmented Generation (RAG).☆23Apr 26, 2025Updated 11 months ago
- This repository contains the replication of the iGSM dataset generation process from the Physics of LLM paper by Zeyuan Zhu.☆17Sep 13, 2024Updated last year
- Face Recognition on NVIDIA TX2☆10Sep 5, 2018Updated 7 years ago
- ☆19Oct 30, 2025Updated 5 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Accompanying code for "Learning and Planning in Average-Reward Markov Decision Processes"☆15Feb 10, 2021Updated 5 years ago
- Code for ICLR 2022 Paper (HyperDQN: A Randomized Exploration Method for Deep Reinforcement Learning)☆12Nov 28, 2023Updated 2 years ago
- Scalable Convex Neural Networks☆25Apr 30, 2025Updated 11 months ago
- This project applies Monte Carlo Tree Search (MCTS) to a simple grid world.☆10May 30, 2018Updated 7 years ago
- A programming language that deduces code from tests☆30Jan 8, 2018Updated 8 years ago
- Revisiting Peng's Q(lambda) for Modern Reinforcement Learning☆15Jul 23, 2021Updated 4 years ago
- ☆12Sep 8, 2022Updated 3 years ago
- This repository provides a GitHub Action for running the Kani Rust Verifier in CI.☆12May 13, 2025Updated 11 months ago
- Functional algorithms - definitions and implementations☆13Oct 17, 2025Updated 5 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Ant Gather and Ant Maze envs, separated from RLLab☆11Aug 2, 2018Updated 7 years ago
- Variants of the Kaczmarz algorithm for solving linear systems in Python.☆13Sep 4, 2025Updated 7 months ago
- Simplified operator overloading in Rust☆21Nov 10, 2024Updated last year
- C++ Template Turing Machine☆15Jun 7, 2018Updated 7 years ago
- A continouation of the orignal QTTabBar, which delivers Tabs for the windows Explorer, aiming to fix at least some bugs☆19Sep 1, 2015Updated 10 years ago
- A3C Algorithm for classic Atari games☆16Jul 10, 2017Updated 8 years ago
- Offical Repo for Splitting Steepest Descent for Growing Neural Architectures☆13May 12, 2021Updated 4 years ago
- ☆54Apr 11, 2023Updated 3 years ago
- Cythonized versions of the OpenAI Gym classic control environments.☆12Apr 7, 2020Updated 6 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Implementation of the user-space eBPF VM based on the iovisor version (https://github.com/iovisor/ubpf)☆13Apr 16, 2020Updated 5 years ago
- Code for the paper "The Journey, Not the Destination: How Data Guides Diffusion Models"☆25Dec 12, 2023Updated 2 years ago
- Simple, small, fully-connected Python version of NeoRL☆11Jan 29, 2016Updated 10 years ago
- Generate, compile and run .java source dynamically at runtime☆11Apr 23, 2019Updated 6 years ago
- ☆17Jan 7, 2020Updated 6 years ago
- Snakes package for OpenAI Gym☆10Aug 20, 2019Updated 6 years ago
- An x86 disassembler written in Java (port of udis86)☆13Dec 10, 2014Updated 11 years ago
- deprecated, instead use https://github.com/conventional-changelog/conventional-changelog monorepo☆11Jan 30, 2016Updated 10 years ago
- CUDA optimized Path Tracer☆11Dec 23, 2018Updated 7 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- HaVSA (Have-Saa) is a Haskell implementation of the Version Space Algebra Machine Learning technique described by Tessa Lau.☆12Jul 8, 2017Updated 8 years ago
- NeurIPS 2019 Paper Implementation☆12Nov 22, 2022Updated 3 years ago
- Scaling scaling laws with board games.☆53Jul 17, 2023Updated 2 years ago
- Implementation of POMDP algorithms on the tiger example, as described in Littman, Cassandra and Kaelbling (1994).☆17Aug 8, 2017Updated 8 years ago
- Typogenetics—short for “Typographical genetics” from Douglas R. Hofstadter's “Godel, Escher, Bach: Eternal Golden Braid”☆11Nov 10, 2012Updated 13 years ago
- A python client library for microRTS.☆20Feb 5, 2020Updated 6 years ago
- Multi-Variate Temporal GAN for Large Scale Video Generation☆15Dec 7, 2020Updated 5 years ago