Alternatives and similar repositories for genlm-control

Users that are interested in genlm-control are comparing it to the libraries listed below

• RickySkywalker / TheoremLlama
  This is the official repository for all the code of TheoremLlama
  ☆43Updated 9 months ago
• Blackzxy / LoGAH
  ☆22Updated 9 months ago
• Lagooon / LeanSTaR
  ☆42Updated 9 months ago
• likenneth / q_probe
  Q-Probe: A Lightweight Approach to Reward Maximization for Language Models
  ☆41Updated last year
• genlm / genlm-control
  Controlled text generation with programmable constraints
  ☆117Updated this week
• JHU-CLSP / RATIONALYST
  Code for RATIONALYST: Pre-training Process-Supervision for Improving Reasoning https://arxiv.org/pdf/2410.01044
  ☆33Updated 9 months ago
• justinlovelace / Diffusion-Guided-LM
  ☆27Updated 11 months ago
• sunblaze-ucb / math_ood
  ☆34Updated 3 weeks ago
• Silent-Zebra / twisted-smc-lm
  ☆29Updated 3 months ago
• HazyResearch / aioli
  Aioli: A unified optimization framework for language model data mixing
  ☆27Updated 6 months ago
• ablghtianyi / ICL_Modular_Arithmetic
  ☆19Updated 3 months ago
• RobertCsordas / moeut
  ☆82Updated 10 months ago
• google-deepmind / regress-lm
  Library for text-to-text regression, applicable to any input string representation and allows pretraining and fine-tuning over multiple r…
  ☆86Updated this week
• EleutherAI / mdl
  Minimum Description Length probing for neural network representations
  ☆18Updated 5 months ago
• IBM / abductive-rule-learner-with-context-awareness
  ARLC, a probabilistic abductive reasoner for solving Raven's progressive matrices.
  ☆18Updated 2 months ago
• SamsungSAILMontreal / nino
  Code for "Accelerating Training with Neuron Interaction and Nowcasting Networks" [to appear at ICLR 2025]
  ☆19Updated last month
• codezakh / DataEnvGym
  A testbed for agents and environments that can automatically improve models through data generation.
  ☆24Updated 4 months ago
• gonglinyuan / ast_t5
  ☆65Updated last year
• MLE-Dojo / MLE-Dojo
  ☆55Updated 2 weeks ago
• Purewhite2019 / formal_problem_solving_main
  Official implementation of "Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving"
  ☆21Updated 2 months ago
• google-deepmind / questbench
  ☆24Updated 2 months ago
• OSU-NLP-Group / reversal-curse-binding
  ☆23Updated 3 months ago
• bhoov / energy-transformer-jax
  The Energy Transformer block, in JAX
  ☆59Updated last year
• dangxingyu / rnn-icrag
  Official repository of paper "RNNs Are Not Transformers (Yet): The Key Bottleneck on In-context Retrieval"
  ☆27Updated last year
• complex-reasoning / RPG
  The official implementation of Regularized Policy Gradient (RPG) (https://arxiv.org/abs/2505.17508)
  ☆35Updated last week
• Shalev-Lifshitz / MultiAgentVerification
  Multi-Agent Verification: Scaling Test-Time Compute with Multiple Verifiers
  ☆19Updated 4 months ago
• ExtensityAI / benchmark
  Evaluation of neuro-symbolic engines
  ☆38Updated 11 months ago
• IBM / ColPret
  Efficient Scaling laws and collaborative pretraining.
  ☆16Updated 5 months ago
• katiekang1998 / reasoning_generalization
  ☆33Updated 6 months ago
• callummcdougall / sae-exercises-mats
  ☆23Updated last year