benlipkin / decodingLinks
Composable inference algorithms with LLMs and programmable logic
☆69Updated last year
Alternatives and similar repositories for decoding
Users that are interested in decoding are comparing it to the libraries listed below
Sorting:
- Large language models (LLMs) made easy, EasyLM is a one stop solution for pre-training, finetuning, evaluating and serving LLMs in JAX/Fl…☆76Updated last year
- Synthetic question-answering dataset to formally analyze the chain-of-thought output of large language models on a reasoning task.☆154Updated 3 months ago
- 🔗 LINC: Logical Inference via Neurosymbolic Computation [EMNLP2023]☆78Updated last year
- A repository for transformer critique learning and generation☆89Updated 2 years ago
- Neural theorem proving tutorial, version II☆40Updated last year
- Skill-It! A Data-Driven Skills Framework for Understanding and Training Language Models☆47Updated 2 years ago
- A domain-specific probabilistic programming language for modeling and inference with language models☆137Updated 7 months ago
- Code and data used in the paper: "Training on Incorrect Synthetic Data via RL Scales LLM Math Reasoning Eight-Fold"☆31Updated last year
- Neuro-Symbolic Integration Brings Causal and Reliable Reasoning Proofs☆40Updated last year
- Probabilistic programming with large language models☆145Updated 3 weeks ago
- ☆52Updated last year
- [ACL'24 Oral] Analysing The Impact of Sequence Composition on Language Model Pre-Training☆22Updated last year
- ☆45Updated 9 months ago
- ☆85Updated 10 months ago
- CausalGym: Benchmarking causal interpretability methods on linguistic tasks☆49Updated last year
- [COLM 2025] EvalTree: Profiling Language Model Weaknesses via Hierarchical Capability Trees☆28Updated 4 months ago
- ☆38Updated last year
- [ACL 2025 Main] Official Repository for "Evaluating Language Models as Synthetic Data Generators"☆40Updated 11 months ago
- Grammar Prompting for Domain-Specific Language Generation with Large Language Models☆75Updated 2 years ago
- [NeurIPS 2023] Learning Transformer Programs☆162Updated last year
- ☆56Updated last year
- Language models scale reliably with over-training and on downstream tasks☆100Updated last year
- A unified benchmark for math reasoning☆89Updated 2 years ago
- Rust library for indexing and quickly searching large pretraining corpora☆30Updated last month
- Repo for the paper "Large Language Models Struggle to Learn Long-Tail Knowledge"☆78Updated 2 years ago
- [EMNLP 2024] A Retrieval Benchmark for Scientific Literature Search☆101Updated last year
- [ACL'24] Code and data of paper "When is Tree Search Useful for LLM Planning? It Depends on the Discriminator"☆54Updated last year
- Inspecting and Editing Knowledge Representations in Language Models☆119Updated 2 years ago
- ☆26Updated last year
- Self-Alignment with Principle-Following Reward Models☆169Updated 2 months ago