Alternatives and similar repositories for genlm-control

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

• Silent-Zebra / twisted-smc-lm
  ☆29Updated 3 months ago
• likenneth / q_probe
  Q-Probe: A Lightweight Approach to Reward Maximization for Language Models
  ☆41Updated last year
• EleutherAI / mdl
  Minimum Description Length probing for neural network representations
  ☆18Updated 4 months ago
• IBM / ColPret
  Efficient Scaling laws and collaborative pretraining.
  ☆16Updated 4 months ago
• ethz-spylab / superhuman-ai-consistency
  ☆29Updated 2 years ago
• RickySkywalker / TheoremLlama
  This is the official repository for all the code of TheoremLlama
  ☆42Updated 8 months ago
• jysohn1108 / Looped-Transformer
  Official implementation of the transformer (TF) architecture suggested in a paper entitled "Looped Transformers as Programmable Computers…
  ☆27Updated 2 years ago
• RandallBalestriero / SplineLLM
  ☆16Updated last year
• bhoov / energy-transformer-jax
  The Energy Transformer block, in JAX
  ☆58Updated last year
• Lagooon / LeanSTaR
  ☆42Updated 9 months ago
• zhaoxlpku / SubgoalXL
  ☆25Updated 10 months ago
• konstantinosKokos / ape
  🧮 Algebraic Positional Encodings.
  ☆14Updated 5 months ago
• opallab / positional_attention
  Source code for the paper "Positional Attention: Expressivity and Learnability of Algorithmic Computation"
  ☆14Updated last month
• HazyResearch / aioli
  Aioli: A unified optimization framework for language model data mixing
  ☆27Updated 5 months ago
• Blackzxy / LoGAH
  ☆21Updated 8 months ago
• Lizn-zn / Nesy-Programming
  ☆9Updated 7 months ago
• ablghtianyi / ICL_Modular_Arithmetic
  ☆19Updated 3 months ago
• google-deepmind / questbench
  ☆22Updated last month
• collinskatie / checkmate
  ☆45Updated 9 months ago
• ChuyueSun / Clover
  Clover: Closed-Loop Verifiable Code Generation
  ☆35Updated last month
• google-research / crossbeam
  ☆43Updated 2 years ago
• AndPotap / einsum-search
  ☆32Updated 8 months ago
• joshuacnf / paradox-learning2reason
  ☆34Updated 6 months ago
• OSU-NLP-Group / reversal-curse-binding
  ☆23Updated 2 months ago
• SamsungSAILMontreal / nino
  Code for "Accelerating Training with Neuron Interaction and Nowcasting Networks" [to appear at ICLR 2025]
  ☆19Updated last month
• ml-research / SLASH
  Scalable Neural-Probabilistic Answer Set Programming
  ☆17Updated last year
• cmu-l3 / ntptutorial-II
  Neural theorem proving tutorial, version II
  ☆38Updated last year
• Shalev-Lifshitz / MultiAgentVerification
  Multi-Agent Verification: Scaling Test-Time Compute with Multiple Verifiers
  ☆19Updated 3 months ago
• probcomp / LLaMPPL
  A domain-specific probabilistic programming language for modeling and inference with language models
  ☆131Updated last month
• harmonic-ai / datasets
  Harmonic Datasets
  ☆40Updated 11 months ago