Alternatives and similar repositories for VeriFree

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

• sail-sg / SkyLadder
  The official repository for SkyLadder: Better and Faster Pretraining via Context Window Scheduling
  ☆32Updated 2 months ago
• katiekang1998 / reasoning_generalization
  ☆32Updated 4 months ago
• complex-reasoning / RPG
  The official implementation of Regularized Policy Gradient (RPG) (https://arxiv.org/abs/2505.17508)
  ☆27Updated last week
• allenai / easy-to-hard-generalization
  Code for the arXiv preprint "The Unreasonable Effectiveness of Easy Training Data"
  ☆47Updated last year
• MLE-Dojo / MLE-Dojo
  ☆49Updated 3 weeks ago
• mandyyyyii / east
  ☆17Updated last month
• yidingjiang / ado
  The repository contains code for Adaptive Data Optimization
  ☆24Updated 5 months ago
• OpenMOSS / Lorsa
  ☆19Updated 3 weeks ago
• dangxingyu / rnn-icrag
  Official repository of paper "RNNs Are Not Transformers (Yet): The Key Bottleneck on In-context Retrieval"
  ☆27Updated last year
• hamishivi / automated-instruction-selection
  Exploration of automated dataset selection approaches at large scales.
  ☆41Updated 3 months ago
• McGill-NLP / agent-reward-bench
  AgentRewardBench: Evaluating Automatic Evaluations of Web Agent Trajectories
  ☆15Updated 3 weeks ago
• sail-sg / dice
  Official implementation of Bootstrapping Language Models via DPO Implicit Rewards
  ☆44Updated last month
• sunblaze-ucb / reasoning_ladder
  ☆29Updated 2 weeks ago
• GAIR-NLP / OctoThinker
  Revisiting Mid-training in the Era of RL Scaling
  ☆48Updated last month
• codezakh / DataEnvGym
  A testbed for agents and environments that can automatically improve models through data generation.
  ☆24Updated 3 months ago
• JHU-CLSP / RATIONALYST
  Code for RATIONALYST: Pre-training Process-Supervision for Improving Reasoning https://arxiv.org/pdf/2410.01044
  ☆33Updated 8 months ago
• RobertCsordas / moeut
  ☆79Updated 9 months ago
• formll / resolving-scaling-law-discrepancies
  ☆19Updated 10 months ago
• JacobPfau / fillerTokens
  ☆61Updated last year
• ContextualAI / CLAIR_and_APO
  Anchored Preference Optimization and Contrastive Revisions: Addressing Underspecification in Alignment
  ☆57Updated 9 months ago
• HKUNLP / diffusion-vs-ar
  [ICLR 2025] Code for the paper "Beyond Autoregression: Discrete Diffusion for Complex Reasoning and Planning"
  ☆59Updated 3 months ago
• rosieyzh / openrlhf-pretrain
  Code for "Echo Chamber: RL Post-training Amplifies Behaviors Learned in Pretraining"
  ☆16Updated last month
• mnoukhov / async_rlhf
  Code and Configs for Asynchronous RLHF: Faster and More Efficient RL for Language Models
  ☆53Updated last month
• Asap7772 / understanding-rlhf
  Learning from preferences is a common paradigm for fine-tuning language models. Yet, many algorithmic design decisions come into play. Ou…
  ☆29Updated last year
• sail-sg / AnytimeReasoner
  Optimizing Anytime Reasoning via Budget Relative Policy Optimization
  ☆36Updated last week
• upiterbarg / lintseq
  [ICLR 2025] "Training LMs on Synthetic Edit Sequences Improves Code Synthesis" (Piterbarg, Pinto, Fergus)
  ☆19Updated 3 months ago
• ryoungj / BoLT
  Code for "Reasoning to Learn from Latent Thoughts"
  ☆104Updated 2 months ago
• kyleliang919 / Online-Subspace-Descent
  This repo is based on https://github.com/jiaweizzhao/GaLore
  ☆28Updated 8 months ago
• HazyResearch / aioli
  Aioli: A unified optimization framework for language model data mixing
  ☆25Updated 4 months ago
• cmu-l3 / neurips2024-inference-tutorial-code
  NeurIPS 2024 tutorial on LLM Inference
  ☆45Updated 5 months ago