benlipkin / decoding
Composable inference algorithms with LLMs and programmable logic
β64Updated 2 months ago
Alternatives and similar repositories for decoding:
Users that are interested in decoding are comparing it to the libraries listed below
- π LINC: Logical Inference via Neurosymbolic Computation [EMNLP2023]β58Updated last year
- Synthetic question-answering dataset to formally analyze the chain-of-thought output of large language models on a reasoning task.β135Updated 3 months ago
- Inspecting and Editing Knowledge Representations in Language Modelsβ112Updated last year
- Code and data associated with the AmbiEnt dataset in "We're Afraid Language Models Aren't Modeling Ambiguity" (Liu et al., 2023)β58Updated last year
- Exploring the Limitations of Large Language Models on Multi-Hop Queriesβ21Updated 7 months ago
- β45Updated last year
- β124Updated 3 weeks ago
- LogiTorch is a PyTorch-based library for logical reasoning on natural languageβ70Updated 5 months ago
- Code and data used in the paper: "Training on Incorrect Synthetic Data via RL Scales LLM Math Reasoning Eight-Fold"β29Updated 8 months ago
- PyTorch building blocks for the OLMo ecosystemβ51Updated this week
- β32Updated last year
- The LM Contamination Index is a manually created database of contamination evidences for LMs.β77Updated 10 months ago
- β39Updated 6 months ago
- The accompanying code for "Transformer Feed-Forward Layers Are Key-Value Memories". Mor Geva, Roei Schuster, Jonathan Berant, and Omer Leβ¦β89Updated 3 years ago
- A unified benchmark for math reasoningβ87Updated 2 years ago
- β20Updated last year
- [arXiv preprint] Official Repository for "Evaluating Language Models as Synthetic Data Generators"β33Updated 2 months ago
- [ICLR 2024] COLLIE: Systematic Construction of Constrained Text Generation Tasksβ52Updated last year
- The data and the PyTorch implementation for the models and experiments in the paper "Exploiting Asymmetry for Synthetic Training Data Genβ¦β60Updated last year
- Search, Verify and Feedback: Towards Next Generation Post-training Paradigm of Foundation Models via Verifier Engineeringβ55Updated 2 months ago
- [ACL'24] Code and data of paper "When is Tree Search Useful for LLM Planning? It Depends on the Discriminator"β54Updated 11 months ago
- Code for the arXiv paper: "LLMs as Factual Reasoners: Insights from Existing Benchmarks and Beyond"β59Updated 2 weeks ago
- Neuro-Symbolic Integration Brings Causal and Reliable Reasoning Proofsβ34Updated last year
- [ICLR 2023] Guess the Instruction! Flipped Learning Makes Language Models Stronger Zero-Shot Learnersβ113Updated 5 months ago
- β76Updated 6 months ago
- β70Updated last year
- [NAACL'25] Steering Knowledge Selection Behaviours in LLMs via SAE-Based Representation Engineeringβ44Updated 2 months ago
- β58Updated 9 months ago
- CausalGym: Benchmarking causal interpretability methods on linguistic tasksβ40Updated 2 months ago
- the instructions and demonstrations for building a formal logical reasoning capable GLMβ53Updated 5 months ago