benlipkin / decoding
Composable inference algorithms with LLMs and programmable logic
β67Updated 3 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]β62Updated last year
- Synthetic question-answering dataset to formally analyze the chain-of-thought output of large language models on a reasoning task.β138Updated 5 months ago
- β45Updated last year
- Large language models (LLMs) made easy, EasyLM is a one stop solution for pre-training, finetuning, evaluating and serving LLMs in JAX/Flβ¦β69Updated 7 months ago
- Inspecting and Editing Knowledge Representations in Language Modelsβ112Updated last year
- Code and data used in the paper: "Training on Incorrect Synthetic Data via RL Scales LLM Math Reasoning Eight-Fold"β29Updated 9 months ago
- Code and data associated with the AmbiEnt dataset in "We're Afraid Language Models Aren't Modeling Ambiguity" (Liu et al., 2023)β59Updated last year
- β113Updated 7 months ago
- [ACL'24] Code and data of paper "When is Tree Search Useful for LLM Planning? It Depends on the Discriminator"β54Updated last year
- The LM Contamination Index is a manually created database of contamination evidences for LMs.β77Updated 11 months ago
- NeurIPS 2024 tutorial on LLM Inferenceβ39Updated 3 months ago
- datasets from the paper "Towards Understanding Sycophancy in Language Models"β73Updated last year
- The accompanying code for "Transformer Feed-Forward Layers Are Key-Value Memories". Mor Geva, Roei Schuster, Jonathan Berant, and Omer Leβ¦β90Updated 3 years ago
- β32Updated 2 weeks ago
- A repository for transformer critique learning and generationβ89Updated last year
- [arXiv preprint] Official Repository for "Evaluating Language Models as Synthetic Data Generators"β34Updated 3 months ago
- How do transformer LMs encode relations?β46Updated last year
- LogiTorch is a PyTorch-based library for logical reasoning on natural languageβ70Updated 6 months ago
- CausalGym: Benchmarking causal interpretability methods on linguistic tasksβ41Updated 3 months ago
- Scalable Meta-Evaluation of LLMs as Evaluatorsβ42Updated last year
- the instructions and demonstrations for building a formal logical reasoning capable GLMβ53Updated 6 months ago
- [ICLR 2024] COLLIE: Systematic Construction of Constrained Text Generation Tasksβ52Updated last year
- β203Updated last year
- Probabilistic programming with HuggingFace language modelsβ102Updated this week
- β61Updated 2 years ago
- β80Updated 7 months ago
- β48Updated last year
- Neuro-Symbolic Integration Brings Causal and Reliable Reasoning Proofsβ34Updated last year
- A library for efficient patching and automatic circuit discovery.β59Updated last month
- Exploring the Limitations of Large Language Models on Multi-Hop Queriesβ24Updated 2 weeks ago