Alternatives and similar repositories for OpenTensor

Users that are interested in OpenTensor are comparing it to the libraries listed below

• kenjyoung / mctx_learning_demo
  ☆51Updated 2 years ago
• lowrollr / turbozero
  fast + parallel AlphaZero in JAX
  ☆96Updated 5 months ago
• bwfbowen / muax
  A project that provides help for using DeepMind's mctx on gym-style environments.
  ☆60Updated 6 months ago
• openai / lean-gym
  ☆188Updated 2 years ago
• bhansconnect / fast-alphazero-general
  A clean implementation based on Expert Iterations for any game, inspired by alpha-zero-general
  ☆44Updated 2 years ago
• NTT123 / a0-jax
  AlphaZero in JAX
  ☆77Updated last year
• masouduut94 / MCTS-agent-python
  Monte Carlo Tree Search (MCTS) is a method for finding optimal decisions in a given domain by taking random samples in the decision space…
  ☆69Updated last year
• lowrollr / mctx-az
  Monte Carlo tree search in JAX, with functionality to continue search from a previous subtree
  ☆20Updated last month
• kitft / funsearch
  Genetic programming using LLMs
  ☆26Updated 3 months ago
• andyljones / boardlaw
  Scaling scaling laws with board games.
  ☆49Updated last year
• cmu-l3 / ntptutorial-II
  Neural theorem proving tutorial, version II
  ☆36Updated last year
• Carbon225 / mctx-classic
  Classic MCTS example with mctx
  ☆18Updated 2 years ago
• zhangir-azerbayev / ProofNet
  Benchmark for undergraduate-level formal mathematics
  ☆107Updated 7 months ago
• google-research / crossbeam
  ☆43Updated 2 years ago
• CarperAI / Algorithm-Distillation-RLHF
  ☆34Updated 2 years ago
• rlglab / minizero
  MiniZero: An AlphaZero and MuZero Training Framework
  ☆93Updated 3 months ago
• AdaptiveSubgoalSearch / adaptive_subs
  Adaptive Subgoal Search
  ☆19Updated 2 years ago
• gpoesia / peano
  An environment for learning formal mathematical reasoning from scratch
  ☆69Updated 9 months ago
• Zeta36 / muzero
  A simple implementation of MuZero algorithm for connect4 game
  ☆97Updated 4 years ago
• wellecks / ntptutorial
  Tutorial on neural theorem proving
  ☆174Updated last year
• observer4599 / explainable-reinforcement-learning
  Explainable Reinforcement Learning (XRL) Resources
  ☆40Updated 8 months ago
• clvrai / leaps
  Code for Learning to Synthesize Programs as Interpretable and Generalizable Policies in NeurIPS 2021
  ☆37Updated 2 years ago
• Algorithmic-Alignment-Lab / contracts
  Formal Contracts for Multi-Agent Reinforcement Learning
  ☆17Updated last year
• vwxyzjn / cleanba
  CleanRL's implementation of DeepMind's Podracer Sebulba Architecture for Distributed DRL
  ☆113Updated 9 months ago
• yycdavid / program-synthesis-guided-RL
  ☆24Updated 2 years ago
• harmonic-ai / datasets
  Harmonic Datasets
  ☆40Updated 10 months ago
• luchris429 / discovered-policy-optimisation
  Code for Discovered Policy Optimisation (NeurIPS 2022)
  ☆10Updated last year
• JimOhman / model-based-rl
  Implementation of MuZero with PyTorch, based on the pseudocode from DeepMind (https://arxiv.org/src/1911.08265v2/anc/pseudocode.py).
  ☆32Updated 2 years ago
• dpaleka / cross-entropy-for-combinatorics
  Code accompanying the manuscript "Constructions in combinatorics via neural networks and LP solvers".
  ☆19Updated 3 years ago
• RU-Automated-Reasoning-Group / pi-PRL
  ICLR'22 Programmatic Reinforcement Learning
  ☆16Updated 2 years ago