probcomp / genlm-controlLinks
☆6Updated last month
Alternatives and similar repositories for genlm-control
Users that are interested in genlm-control are comparing it to the libraries listed below
Sorting:
- ☆21Updated 8 months ago
- ☆43Updated 8 months ago
- Minimum Description Length probing for neural network representations☆19Updated 4 months ago
- ☆29Updated 2 months ago
- ARLC, a probabilistic abductive reasoner for solving Raven's progressive matrices.☆18Updated 3 weeks ago
- Harmonic Datasets☆40Updated 10 months ago
- Official implementation of "Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving"☆20Updated 3 weeks ago
- ☆12Updated last year
- The Energy Transformer block, in JAX☆56Updated last year
- We develop world models that can be adapted with natural language. Intergrating these models into artificial agents allows humans to effe…☆23Updated last year
- Q-Probe: A Lightweight Approach to Reward Maximization for Language Models☆41Updated 11 months ago
- this is for fun, ain't it grand!☆16Updated 3 weeks ago
- Multi-Agent Verification: Scaling Test-Time Compute with Multiple Verifiers☆18Updated 3 months ago
- This is the official repository for all the code of TheoremLlama☆42Updated 7 months ago
- Simple repository for training small reasoning models☆31Updated 4 months ago
- LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management☆64Updated 4 months ago
- ☆18Updated last year
- ☆16Updated 2 months ago
- The official implementation of Regularized Policy Gradient (RPG) (https://arxiv.org/abs/2505.17508)☆27Updated last week
- Code for "Accelerating Training with Neuron Interaction and Nowcasting Networks" [to appear at ICLR 2025]☆19Updated 2 weeks ago
- Repo for solving arc problems with an Neural Cellular Automata☆15Updated 2 weeks ago
- Code for RATIONALYST: Pre-training Process-Supervision for Improving Reasoning https://arxiv.org/pdf/2410.01044☆33Updated 8 months ago
- 🧮 Algebraic Positional Encodings.☆13Updated 4 months ago
- ☆16Updated last year
- ☆29Updated last year
- ☆25Updated 9 months ago
- Evaluation of neuro-symbolic engines☆35Updated 10 months ago
- Code for the paper LeanReasoner: Boosting Complex Logical Reasoning with Lean: https://arxiv.org/pdf/2403.13312.pdf☆22Updated last year
- Embroid: Unsupervised Prediction Smoothing Can Improve Few-Shot Classification☆11Updated last year
- ☆21Updated last year