tuchandra / zebraLinks
Logic grid puzzle ("zebra puzzle") generator and solver
☆27Updated last year
Alternatives and similar repositories for zebra
Users that are interested in zebra are comparing it to the libraries listed below
Sorting:
- [EMNLP 2020] Keep CALM and Explore: Language Models for Action Generation in Text-based Games☆73Updated 4 years ago
- Super fast implementations of common benchmark text world games☆51Updated last month
- Synthetic question-answering dataset to formally analyze the chain-of-thought output of large language models on a reasoning task.☆150Updated last month
- ☆22Updated 2 years ago
- ☆39Updated 2 years ago
- ☆131Updated last year
- Code and data used in the paper: "Training on Incorrect Synthetic Data via RL Scales LLM Math Reasoning Eight-Fold"☆30Updated last year
- ☆37Updated last year
- HANNA, a large annotated dataset of Human-ANnotated NArratives for ASG evaluation.☆35Updated last year
- Home of FIREBALL: A Dataset of Dungeons and Dragons Actual-Play with Structured Game State Information (ACL 2023)☆46Updated last year
- About The corresponding code from our paper " REFINER: Reasoning Feedback on Intermediate Representations" (EACL 2024). Do not hesitate t…☆70Updated last year
- Official github repo for the paper "Compression Represents Intelligence Linearly" [COLM 2024]☆142Updated last year
- Python tools for processing the stackexchange data dumps into a text dataset for Language Models☆83Updated last year
- ScienceWorld is a text-based virtual environment centered around accomplishing tasks from the standardized elementary science curriculum.☆296Updated 3 months ago
- Scratchpad/Chain-of-Thought Prompts☆12Updated 3 years ago
- Cleaned up version of the PlotMachines code☆68Updated 2 years ago
- Latest Evaluation Toolkit (LatestEval). Assessing the language models with latest, uncontaminated materials.☆25Updated 8 months ago
- ☆46Updated last year
- ☆50Updated 10 months ago
- ☆67Updated 3 years ago
- A library for finding knowledge neurons in pretrained transformer models.☆159Updated 3 years ago
- EMNLP 2022: Generating Natural Language Proofs with Verifier-Guided Search https://arxiv.org/abs/2205.12443☆86Updated last year
- A unified benchmark for math reasoning☆88Updated 2 years ago
- [ACL'24 Oral] Analysing The Impact of Sequence Composition on Language Model Pre-Training☆22Updated last year
- ☆25Updated last year
- ☆159Updated 2 years ago
- ☆27Updated last year
- Code for MAWPS: A Math Word Problem Repository☆41Updated 2 years ago
- This code accompanies the paper DisentQA: Disentangling Parametric and Contextual Knowledge with Counterfactual Question Answering.☆16Updated 2 years ago
- Tk-Instruct is a Transformer model that is tuned to solve many NLP tasks by following instructions.☆181Updated 2 years ago