Alternatives and similar repositories for anlp-fall2025-code

Users that are interested in anlp-fall2025-code are comparing it to the libraries listed below

• ByteDance-Seed / Seed-Prover
  ☆312Updated 2 months ago
• kfdong / STP
  The official implementation of "Self-play LLM Theorem Provers with Iterative Conjecturing and Proving"
  ☆112Updated 8 months ago
• Zhiyuan-Zeng / RLVE
  [Preprint] RLVE: Scaling Up Reinforcement Learning for Language Models with Adaptive Verifiable Environments
  ☆151Updated 3 weeks ago
• MoonshotAI / Kimina-Prover-Preview
  Technical report of Kimina-Prover Preview.
  ☆346Updated 4 months ago
• google-deepmind / latent-multi-hop-reasoning
  [ACL 2024] Do Large Language Models Latently Perform Multi-Hop Reasoning?
  ☆84Updated 8 months ago
• cmu-l3 / anlp-spring2025-code
  Advanced NLP, Spring 2025 https://cmu-l3.github.io/anlp-spring2025/
  ☆68Updated 8 months ago
• hkproj / rlhf-ppo
  Notes and commented code for RLHF (PPO)
  ☆118Updated last year
• McGill-NLP / nano-aha-moment
  Single File, Single GPU, From Scratch, Efficient, Full Parameter Tuning library for "RL for LLMs"
  ☆561Updated 2 months ago
• Lagooon / LeanSTaR
  ☆42Updated last year
• google-deepmind / alphaevolve_repository_of_problems
  ☆155Updated 2 weeks ago
• Goedel-LM / Goedel-Prover
  ☆219Updated 8 months ago
• stanford-cs336 / assignment5-alignment
  ☆82Updated 4 months ago
• NVlabs / RLP
  RLP: Reinforcement as a Pretraining Objective
  ☆205Updated 2 months ago
• mingyin0312 / RLFromScratch
  ☆463Updated 3 months ago
• Goedel-LM / Goedel-Prover-V2
  ☆128Updated 3 months ago
• facebookresearch / llm-speedrunner
  The Automated LLM Speedrunning Benchmark measures how well LLM agents can reproduce previous innovations and discover new ones in languag…
  ☆112Updated last month
• cmu-l3 / llmlean
  LLMs + Lean, on your laptop or in the cloud
  ☆195Updated last month
• stanford-cs336 / assignment3-scaling
  ☆34Updated 4 months ago
• joey00072 / nanoGRPO
  nanoGRPO is a lightweight implementation of Group Relative Policy Optimization (GRPO)
  ☆126Updated 6 months ago
• axon-rl / gem
  A Gym for Agentic LLMs
  ☆371Updated 3 weeks ago
• OSU-NLP-Group / GrokkedTransformer
  Code for NeurIPS'24 paper 'Grokked Transformers are Implicit Reasoners: A Mechanistic Journey to the Edge of Generalization'
  ☆234Updated 4 months ago
• google-deepmind / superhuman
  ☆72Updated last month
• spiral-rl / spiral
  SPIRAL: Self-Play on Zero-Sum Games Incentivizes Reasoning via Multi-Agent Multi-Turn Reinforcement Learning
  ☆165Updated 2 months ago
• tokenbender / avataRL
  rl from zero pretrain, can it be done? yes.
  ☆281Updated 2 months ago
• wolfecameron / nanoMoE
  An extension of the nanoGPT repository for training small MOE models.
  ☆215Updated 8 months ago
• eth-sri / matharena
  Evaluation of LLMs on latest math competitions
  ☆197Updated last month
• Dakingrai / awesome-mechanistic-interpretability-lm-papers
  ☆221Updated last year
• SakanaAI / RLT
  Training teachers with reinforcement learning able to make LLMs learn how to reason for test time scaling.
  ☆352Updated 5 months ago
• cmu-l3 / ntptutorial-II
  Neural theorem proving tutorial, version II
  ☆40Updated last year
• MiniMax-AI / SynLogic
  [NeurIPS 2025] The official repo of SynLogic: Synthesizing Verifiable Reasoning Data at Scale for Learning Logical Reasoning and Beyond
  ☆187Updated 5 months ago