Alternatives and similar repositories for grpo_experiment

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

• fraware / leanverifier
  Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …
  ☆72Updated 4 months ago
• philzook58 / prologsolvers
  Copies of prolog solvers for use from python
  ☆19Updated last year
• rayking99 / BlockStar
  A star for organising blocks and playing with transformers.
  ☆23Updated last year
• meelgroup / pepin
  A probabilistic approximate DNF counter
  ☆37Updated 2 months ago
• sdiehl / sympy-mcp
  A MCP server for symbolic manipulation of mathematical expressions
  ☆43Updated 5 months ago
• msuzen / isingLenzMC
  isingLenzMC: Monte Carlo for Classical Ising Model (with core C library)
  ☆53Updated 2 months ago
• Dicklesworthstone / the_lighthill_debate_on_ai
  A Full Transcript of the Lighthill Debate on AI from 1973, with Introductory Remarks
  ☆33Updated last year
• ndrwnaguib / principia
  Rewriting Principia Mathematica in Lean
  ☆136Updated 2 months ago
• joelburget / microjax
  A tiny autograd engine with a Jax-like API
  ☆74Updated 4 months ago
• statusfailed / catgrad
  a categorical deep learning compiler
  ☆205Updated 2 months ago
• phoenicyan / combinadics
  fast combinations calculation in jax
  ☆39Updated last year
• vtabbott / Algebraic-NCD
  A package for defining deep learning models using categorical algebraic expressions.
  ☆61Updated last year
• davidar / stochaskell
  ☆14Updated 2 years ago
• DebarghaG / proofofthought
  Proof of thought : LLM-based reasoning using Z3 theorem proving with multiple backend support (SMT2 and JSON DSL)
  ☆357Updated last month
• google-deepmind / alphaevolve_repository_of_problems
  ☆150Updated last week
• gvelesandro / constructor-theory-simulator
  ☆68Updated last month
• namin / llm-verified-with-monte-carlo-tree-search
  LLM verified with Monte Carlo Tree Search
  ☆283Updated 8 months ago
• lean-dojo / LeanAgent
  LeanAgent is a novel lifelong learning framework for formal theorem proving that continuously generalizes to and improves on ever-expandi…
  ☆43Updated 5 months ago
• jmward01 / lmplay
  A playground to make it easy to try crazy things
  ☆33Updated this week
• lab-v2 / pyreason-gym
  An OpenAI wrapper for PyReason to use in a Grid World reinforcement learning setting
  ☆31Updated last year
• nirw4nna / dsc
  Tensor library & inference framework for machine learning
  ☆113Updated last month
• szeider / mcp-solver
  Model Context Protocol (MCP) server for constraint optimization and solving"
  ☆140Updated 2 months ago
• vagos / llm-interpolate
  Interpolate between embedding points with llm
  ☆38Updated last year
• RichardKelley / dendron
  A library for building software agents using behavior trees and language models.
  ☆89Updated 9 months ago
• plul / slime-mold-simulation
  Fun with wgpu: Simulating slime mold
  ☆24Updated last year
• kordless / gnosis-mystic
  Advanced Python Function Debugging with MCP Integration.
  ☆57Updated 5 months ago
• chanind / tensor-theorem-prover
  First-order logic theorem prover supporting unification with approximate vector similarity
  ☆13Updated 2 years ago
• dmf-archive / PILF
  PILF: A IPWT-inspired bionic continual learning experiment focus on mitigate catastrophic forgetting with Surprise-gated Mixture of Exper…
  ☆36Updated 4 months ago
• valine / training-hot-swap
  Pytorch script hot swap: Change code without unloading your LLM from VRAM
  ☆125Updated 7 months ago
• adamnemecek / traceoid.ai
  ☆108Updated last year