probcomp / genlm-control
☆5Updated 3 weeks ago
Alternatives and similar repositories for genlm-control:
Users that are interested in genlm-control are comparing it to the libraries listed below
- Minimum Description Length probing for neural network representations☆19Updated 3 months ago
- Embroid: Unsupervised Prediction Smoothing Can Improve Few-Shot Classification☆11Updated last year
- Code for RATIONALYST: Pre-training Process-Supervision for Improving Reasoning https://arxiv.org/pdf/2410.01044☆32Updated 7 months ago
- Implementation of SelfExtend from the paper "LLM Maybe LongLM: Self-Extend LLM Context Window Without Tuning" from Pytorch and Zeta☆13Updated 6 months ago
- ☆12Updated this week
- implementation of dualformer☆17Updated 2 months ago
- ☆19Updated last week
- ☆43Updated 7 months ago
- Aioli: A unified optimization framework for language model data mixing☆25Updated 3 months ago
- ☆13Updated 2 months ago
- Codebase the paper "The Remarkable Robustness of LLMs: Stages of Inference?"☆17Updated 10 months ago
- Official Code Release for "Training a Generally Curious Agent"☆20Updated last month
- Neuro-Symbolic Integration Brings Causal and Reliable Reasoning Proofs☆34Updated last year
- Training hybrid models for dummies.☆21Updated 3 months ago
- Efficient Scaling laws and collaborative pretraining.☆16Updated 3 months ago
- 🧮 Algebraic Positional Encodings.☆12Updated 4 months ago
- Python package for generating datasets to evaluate reasoning and retrieval of large language models☆18Updated this week
- AgentRewardBench: Evaluating Automatic Evaluations of Web Agent Trajectories☆12Updated 3 weeks ago
- Multi-Agent Verification: Scaling Test-Time Compute with Multiple Verifiers☆17Updated 2 months ago
- This is the official repository for all the code of TheoremLlama☆42Updated 7 months ago
- Q-Probe: A Lightweight Approach to Reward Maximization for Language Models☆41Updated 11 months ago
- [ICLR 2025] "Training LMs on Synthetic Edit Sequences Improves Code Synthesis" (Piterbarg, Pinto, Fergus)☆19Updated 2 months ago
- Official implementation of "Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving"☆16Updated this week
- HyPe: Better Pre-trained Language Model Fine-tuning with Hidden Representation Perturbation [ACL 2023]☆14Updated 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
- ☆45Updated 7 months ago
- Entailment self-training☆25Updated last year
- Implementation of Hyena Hierarchy in JAX☆10Updated 2 years ago
- ☆31Updated 4 months ago
- Repository for Skill Set Optimization☆12Updated 9 months ago