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…☆78Updated last year
- A unified benchmark for math reasoning☆89Updated 3 years ago
- 🔗 LINC: Logical Inference via Neurosymbolic Computation [EMNLP2023]☆80Updated 2 years ago
- Synthetic question-answering dataset to formally analyze the chain-of-thought output of large language models on a reasoning task.☆154Updated 4 months ago
- CausalGym: Benchmarking causal interpretability methods on linguistic tasks☆51Updated last year
- [ACL 2025 Main] Official Repository for "Evaluating Language Models as Synthetic Data Generators"☆40Updated last year
- Rust library for indexing and quickly searching large pretraining corpora☆30Updated 3 months ago
- Neural theorem proving tutorial, version II☆40Updated last year
- ☆49Updated 2 years ago
- Neuro-Symbolic Integration Brings Causal and Reliable Reasoning Proofs☆41Updated last year
- Dataset and evaluation suite enabling LLM instruction-following for scientific literature understanding.☆47Updated 10 months ago
- Code and data used in the paper: "Training on Incorrect Synthetic Data via RL Scales LLM Math Reasoning Eight-Fold"☆32Updated last year
- [EMNLP 2024] A Retrieval Benchmark for Scientific Literature Search☆102Updated last year
- ☆75Updated last year
- ☆56Updated last year
- The official code repo for "Sub-Sentence Encoder: Contrastive Learning of Propositional Semantic Representations".☆85Updated 2 years ago
- Repository for the paper Stream of Search: Learning to Search in Language☆152Updated 11 months ago
- A repository for transformer critique learning and generation☆89Updated 2 years ago
- Grammar Prompting for Domain-Specific Language Generation with Large Language Models☆75Updated 2 years ago
- ☆145Updated last year
- Official repository for "Scaling Retrieval-Based Langauge Models with a Trillion-Token Datastore".☆223Updated last month
- ☆123Updated 11 months ago
- ☆26Updated last year
- ☆85Updated last year
- FollowIR: Evaluating and Teaching Information Retrieval Models to Follow Instructions☆50Updated last year
- ☆47Updated 10 months ago
- An open-source library for contamination detection in NLP datasets and Large Language Models (LLMs).☆59Updated 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
- NeurIPS 2024 tutorial on LLM Inference☆47Updated last year
- [ICLR 2024] COLLIE: Systematic Construction of Constrained Text Generation Tasks☆59Updated 2 years ago