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:
- Synthetic question-answering dataset to formally analyze the chain-of-thought output of large language models on a reasoning task.☆154Updated 3 months ago
- 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 repository for transformer critique learning and generation☆89Updated 2 years ago
- [EMNLP 2024] A Retrieval Benchmark for Scientific Literature Search☆102Updated last year
- 🔗 LINC: Logical Inference via Neurosymbolic Computation [EMNLP2023]☆78Updated 2 years ago
- [ACL 2025 Main] Official Repository for "Evaluating Language Models as Synthetic Data Generators"☆40Updated last year
- Repository for the paper Stream of Search: Learning to Search in Language☆152Updated 11 months ago
- CausalGym: Benchmarking causal interpretability methods on linguistic tasks☆51Updated last year
- Neuro-Symbolic Integration Brings Causal and Reliable Reasoning Proofs☆41Updated last year
- Code and data used in the paper: "Training on Incorrect Synthetic Data via RL Scales LLM Math Reasoning Eight-Fold"☆31Updated last year
- Dataset and evaluation suite enabling LLM instruction-following for scientific literature understanding.☆47Updated 9 months ago
- [ACL 2025 Findings] Autonomous Data Selection with Zero-shot Generative Classifiers for Mathematical Texts (As Huggingface Daily Papers: …☆90Updated last month
- [ACL'24] Code and data of paper "When is Tree Search Useful for LLM Planning? It Depends on the Discriminator"☆54Updated last year
- Neural theorem proving tutorial, version II☆40Updated last year
- ☆38Updated last year
- ☆85Updated 11 months ago
- What's In My Big Data (WIMBD) - a toolkit for analyzing large text datasets☆225Updated last year
- Code and Data for "Evaluating Correctness and Faithfulness of Instruction-Following Models for Question Answering"☆87Updated last year
- Exploring the Limitations of Large Language Models on Multi-Hop Queries☆29Updated 10 months ago
- ☆46Updated 10 months ago
- A unified benchmark for math reasoning☆89Updated 2 years ago
- FollowIR: Evaluating and Teaching Information Retrieval Models to Follow Instructions☆49Updated last year
- Code for the arXiv paper: "LLMs as Factual Reasoners: Insights from Existing Benchmarks and Beyond"☆61Updated 11 months ago
- Datasets collection and preprocessings framework for NLP extreme multitask learning☆189Updated 5 months ago
- Grammar Prompting for Domain-Specific Language Generation with Large Language Models☆75Updated 2 years ago
- ☆75Updated last year
- ☆25Updated last year
- ☆56Updated last year
- ☆145Updated 11 months ago
- Functional Benchmarks and the Reasoning Gap☆90Updated last year