Alternatives and similar repositories for Verlog

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

• abdulhaim / LMRL-Gym
  ☆101Updated last year
• balrog-ai / BALROG
  Benchmarking Agentic LLM and VLM Reasoning On Games
  ☆196Updated last month
• microsoft / SmartPlay
  SmartPlay is a benchmark for Large Language Models (LLMs). Uses a variety of games to test various important LLM capabilities as agents. …
  ☆140Updated last year
• axon-rl / gem
  A Gym for Generalist LLMs
  ☆131Updated last week
• McGill-NLP / VinePPO
  Code for the paper "VinePPO: Unlocking RL Potential For LLM Reasoning Through Refined Credit Assignment"
  ☆172Updated 4 months ago
• DigiRL-agent / digiq
  ☆112Updated 5 months ago
• amazon-science / PAE
  ☆63Updated 6 months ago
• conglu1997 / intelligent-go-explore
  Intelligent Go-Explore: Standing on the Shoulders of Giant Foundation Models
  ☆64Updated 7 months ago
• mnoukhov / async_rlhf
  Code and Configs for Asynchronous RLHF: Faster and More Efficient RL for Language Models
  ☆63Updated 5 months ago
• waterhorse1 / Natural-language-RL
  Natural Language Reinforcement Learning
  ☆97Updated 2 months ago
• DeckardAgent / deckard
  Official implementation of the DECKARD Agent from the paper "Do Embodied Agents Dream of Pixelated Sheep?"
  ☆94Updated 2 years ago
• Berkeley-NLP / Agent-Eval-Refine
  Code for Paper: Autonomous Evaluation and Refinement of Digital Agents [COLM 2024]
  ☆144Updated 10 months ago
• spiral-rl / spiral
  SPIRAL: Self-Play on Zero-Sum Games Incentivizes Reasoning via Multi-Agent Multi-Turn Reinforcement Learning
  ☆151Updated 2 weeks ago
• bigai-nlco / langsuite
  Official Repo of LangSuitE
  ☆84Updated last year
• microsoft / LLF-Bench
  A benchmark for evaluating learning agents based on just language feedback
  ☆89Updated 3 months ago
• upiterbarg / lintseq
  [ICLR 2025] "Training LMs on Synthetic Edit Sequences Improves Code Synthesis" (Piterbarg, Pinto, Fergus)
  ☆19Updated 7 months ago
• facebookresearch / oni
  Learn online intrinsic rewards from LLM feedback
  ☆43Updated 9 months ago
• Parallel-Reasoning / APR
  [COLM 2025] Code for Paper: Learning Adaptive Parallel Reasoning with Language Models
  ☆129Updated last month
• sunblaze-ucb / math_ood
  ☆40Updated 3 months ago
• jwhj / OREO
  ☆116Updated 8 months ago
• Agent-E3 / ExACT
  ☆23Updated 6 months ago
• BatsResearch / planetarium
  Dataset and benchmark for assessing LLMs in translating natural language descriptions of planning problems into PDDL
  ☆58Updated 11 months ago
• sail-sg / VeriFree
  Reinforcing General Reasoning without Verifiers
  ☆87Updated 3 months ago
• allenai / ScienceWorld
  ScienceWorld is a text-based virtual environment centered around accomplishing tasks from the standardized elementary science curriculum.
  ☆294Updated 2 months ago
• jinpz / q_sharp
  The official code release for Q#: Provably Optimal Distributional RL for LLM Post-Training
  ☆16Updated 7 months ago
• facebookresearch / rlfh-gen-div
  This is code for most of the experiments in the paper Understanding the Effects of RLHF on LLM Generalisation and Diversity
  ☆47Updated last year
• kanishkg / stream-of-search
  Repository for the paper Stream of Search: Learning to Search in Language
  ☆151Updated 8 months ago
• vivek3141 / gg-bench
  Measuring General Intelligence With Generated Games (Preprint)
  ☆26Updated 2 months ago
• vmicheli / delta-iris
  Efficient World Models with Context-Aware Tokenization. ICML 2024
  ☆108Updated last year
• YifeiZhou02 / ArCHer
  Research Code for "ArCHer: Training Language Model Agents via Hierarchical Multi-Turn RL"
  ☆193Updated 5 months ago