Alternatives and similar repositories for grpo_experiment

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

• rayking99 / BlockStar
  A star for organising blocks and playing with transformers.
  ☆23Updated last year
• fraware / leanverifier
  Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …
  ☆79Updated 6 months ago
• philzook58 / prologsolvers
  Copies of prolog solvers for use from python
  ☆19Updated last year
• phoenicyan / combinadics
  fast combinations calculation in jax
  ☆39Updated last year
• joelburget / microjax
  A tiny autograd engine with a Jax-like API
  ☆74Updated 7 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
• neelsomani / symbolic-circuit-distillation
  Automatically extract executable programs from pruned mechanistic circuits, extending OpenAI's Sparse Circuits
  ☆62Updated 2 months ago
• DebarghaG / proofofthought
  Proof of thought : LLM-based reasoning using Z3 theorem proving with multiple backend support (SMT2 and JSON DSL)
  ☆364Updated 3 months ago
• gvelesandro / constructor-theory-simulator
  ☆69Updated 3 months ago
• vtabbott / Algebraic-NCD
  A package for defining deep learning models using categorical algebraic expressions.
  ☆61Updated last year
• sdiehl / sympy-mcp
  A MCP server for symbolic manipulation of mathematical expressions
  ☆53Updated 7 months ago
• statusfailed / catgrad
  a categorical deep learning compiler
  ☆207Updated 4 months ago
• eschluntz / PytorchBridge
  Designing bridge trusses with Pytorch autograd
  ☆61Updated 2 years ago
• Dicklesworthstone / model_guided_research
  ☆93Updated last week
• jmward01 / lmplay
  A playground to make it easy to try crazy things
  ☆33Updated 2 months ago
• namin / llm-verified-with-monte-carlo-tree-search
  LLM verified with Monte Carlo Tree Search
  ☆284Updated 10 months ago
• RichardKelley / dendron
  A library for building software agents using behavior trees and language models.
  ☆90Updated last year
• koogle / mlx-playground
  time to learn mlx
  ☆42Updated 4 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…
  ☆53Updated 7 months ago
• conglu1997 / ACD
  Automated Capability Discovery via Foundation Model Self-Exploration
  ☆66Updated 11 months ago
• lab-v2 / pyreason-gym
  An OpenAI wrapper for PyReason to use in a Grid World reinforcement learning setting
  ☆32Updated 2 years ago
• daios-ai / mindscript
  A programming language for formal/informal computation.
  ☆43Updated last month
• saurabhaloneai / Llama-3-From-Scratch-In-Pure-Jax
  This repository contain the simple llama3 implementation in pure jax.
  ☆71Updated 11 months ago
• akarshkumar0101 / fer
  Code for the Fractured Entangled Representation Hypothesis position paper!
  ☆221Updated 3 months ago
• meelgroup / pepin
  A probabilistic approximate DNF counter
  ☆39Updated 2 months ago
• andyk / recursive_llm
  Implement recursion using English as the programming language and an LLM as the runtime.
  ☆240Updated 2 years ago
• neoneye / ARC-Interactive
  Enjoy puzzle-solving directly in your browser.
  ☆32Updated 9 months ago
• ndrwnaguib / principia
  Rewriting Principia Mathematica in Lean
  ☆138Updated last week
• valine / training-hot-swap
  Pytorch script hot swap: Change code without unloading your LLM from VRAM
  ☆125Updated 9 months ago
• dpaleka / llm-chess-proofgame
  LLMs playing chess are sensitive to how the position came to be
  ☆24Updated last year