friederrr / GHOSTSLinks
GHOSTS dataset
☆38Updated 2 years ago
Alternatives and similar repositories for GHOSTS
Users that are interested in GHOSTS are comparing it to the libraries listed below
Sorting:
- NaturalProofs: Mathematical Theorem Proving in Natural Language (NeurIPS 2021 Datasets & Benchmarks)☆133Updated 2 years ago
- A unified benchmark for math reasoning☆88Updated 2 years ago
- PyTorch code for the RetoMaton paper: "Neuro-Symbolic Language Modeling with Automaton-augmented Retrieval" (ICML 2022)☆73Updated 3 years ago
- ☆131Updated last year
- NaturalProver: Grounded Mathematical Proof Generation with Language Models☆38Updated 2 years ago
- Neural Unification for Logic Reasoning over Language☆22Updated 3 years ago
- NumGLUE: A Suite of Fundamental yet Challenging Mathematical Reasoning Tasks☆20Updated 3 years ago
- Synthetic question-answering dataset to formally analyze the chain-of-thought output of large language models on a reasoning task.☆147Updated 10 months ago
- EMNLP 2022: Generating Natural Language Proofs with Verifier-Guided Search https://arxiv.org/abs/2205.12443☆86Updated 11 months ago
- ☆45Updated 2 years ago
- ☆45Updated last year
- Code for MAWPS: A Math Word Problem Repository☆41Updated 2 years ago
- The accompanying code for "Transformer Feed-Forward Layers Are Key-Value Memories". Mor Geva, Roei Schuster, Jonathan Berant, and Omer Le…☆94Updated 3 years ago
- ☆49Updated last year
- ☆56Updated 8 months ago
- This repository contains the dataset and code for "WiCE: Real-World Entailment for Claims in Wikipedia" in EMNLP 2023.☆42Updated last year
- A library for finding knowledge neurons in pretrained transformer models.☆158Updated 3 years ago
- ☆110Updated 3 years ago
- This repository accompanies our paper “Do Prompt-Based Models Really Understand the Meaning of Their Prompts?”☆85Updated 3 years ago
- Query-focused summarization data☆42Updated 2 years ago
- Interpreting Language Models with Contrastive Explanations (EMNLP 2022 Best Paper Honorable Mention)☆62Updated 3 years ago
- LogiTorch is a PyTorch-based library for logical reasoning on natural language☆73Updated 11 months ago
- Distributional Generalization in NLP. A roadmap.☆88Updated 2 years ago
- OpenPI dataset for tracking entities in open domain procedural text☆24Updated last year
- Language Models of Code are Few-Shot Commonsense Learners (EMNLP 2022)☆86Updated 2 years ago
- Code for NAACL 2022 paper "Reframing Human-AI Collaboration for Generating Free-Text Explanations"☆31Updated 2 years ago
- ☆35Updated 8 months ago
- Code for the paper "Decomposing the Enigma: Subgoal-based Demonstration Learning for Formal Theorem Proving"☆19Updated 2 years ago
- A Python Commonsense Knowledge Inference Toolkit☆64Updated last year
- ☆141Updated 3 years ago