benlipkin / decoding
Composable inference algorithms with LLMs and programmable logic
☆67Updated 5 months ago
Alternatives and similar repositories for decoding:
Users that are interested in decoding are comparing it to the libraries listed below
- A repository for transformer critique learning and generation☆90Updated last year
- 🔗 LINC: Logical Inference via Neurosymbolic Computation [EMNLP2023]☆67Updated last year
- [arXiv preprint] Official Repository for "Evaluating Language Models as Synthetic Data Generators"☆33Updated 4 months ago
- ☆82Updated 9 months ago
- datasets from the paper "Towards Understanding Sycophancy in Language Models"☆75Updated last year
- ☆21Updated last year
- Probabilistic programming with large language models☆116Updated 3 weeks ago
- A unified benchmark for math reasoning☆88Updated 2 years ago
- Inspecting and Editing Knowledge Representations in Language Models☆116Updated last year
- the instructions and demonstrations for building a formal logical reasoning capable GLM☆53Updated 8 months ago
- ☆34Updated 2 months ago
- ☆46Updated last year
- Code and data used in the paper: "Training on Incorrect Synthetic Data via RL Scales LLM Math Reasoning Eight-Fold"☆30Updated 10 months ago
- A library for efficient patching and automatic circuit discovery.☆64Updated 2 weeks ago
- Large language models (LLMs) made easy, EasyLM is a one stop solution for pre-training, finetuning, evaluating and serving LLMs in JAX/Fl…☆72Updated 8 months ago
- Synthetic question-answering dataset to formally analyze the chain-of-thought output of large language models on a reasoning task.☆146Updated 6 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
- [ICLR 2024] COLLIE: Systematic Construction of Constrained Text Generation Tasks☆51Updated last year
- [EMNLP'23] Execution-Based Evaluation for Open Domain Code Generation☆48Updated last year
- Neuro-Symbolic Integration Brings Causal and Reliable Reasoning Proofs☆34Updated last year
- Repository for the paper Stream of Search: Learning to Search in Language☆145Updated 3 months ago
- The official repo for "TheoremQA: A Theorem-driven Question Answering dataset" (EMNLP 2023)☆31Updated 11 months ago
- Self-Alignment with Principle-Following Reward Models☆161Updated this week
- Exploring the Limitations of Large Language Models on Multi-Hop Queries☆25Updated 2 months ago
- NeurIPS 2024 tutorial on LLM Inference☆43Updated 5 months ago
- Code for the arXiv paper: "LLMs as Factual Reasoners: Insights from Existing Benchmarks and Beyond"☆59Updated 3 months ago
- CausalGym: Benchmarking causal interpretability methods on linguistic tasks☆42Updated 5 months ago
- How do transformer LMs encode relations?☆48Updated last year
- ☆31Updated last week
- ☆34Updated last year