friederrr / GHOSTSLinks
GHOSTS dataset
☆38Updated last year
Alternatives and similar repositories for GHOSTS
Users that are interested in GHOSTS are comparing it to the libraries listed below
Sorting:
- PyTorch code for the RetoMaton paper: "Neuro-Symbolic Language Modeling with Automaton-augmented Retrieval" (ICML 2022)☆72Updated 2 years ago
- Neural Unification for Logic Reasoning over Language☆22Updated 3 years ago
- The data and the PyTorch implementation for the models and experiments in the paper "Language Model Decoding as Likelihood–Utility Alignm…☆14Updated last year
- Code for the paper "Decomposing the Enigma: Subgoal-based Demonstration Learning for Formal Theorem Proving"☆19Updated 2 years ago
- NaturalProver: Grounded Mathematical Proof Generation with Language Models☆38Updated 2 years ago
- The codebase for our ACL2023 paper: Did You Read the Instructions? Rethinking the Effectiveness of Task Definitions in Instruction Learni…☆29Updated last year
- ☆16Updated last year
- The official code of EMNLP 2022, "SCROLLS: Standardized CompaRison Over Long Language Sequences".☆69Updated last year
- Weakly Supervised Text-to-SQL Parsing through Question Decomposition☆22Updated last year
- Companion repo for "Evaluating Verifiability in Generative Search Engines".☆83Updated 2 years ago
- [Work in progress] A reading list for machine commonsense reasoning☆35Updated 5 years ago
- Code for Stage-wise Fine-tuning for Graph-to-Text Generation☆26Updated 2 years ago
- [EMNLP 2021] Dataset and PyTorch Code for ExplaGraphs: An Explanation Graph Generation Task for Structured Commonsense Reasoning☆11Updated 2 years ago
- A Python Commonsense Knowledge Inference Toolkit☆64Updated last year
- Automatic metrics for GEM tasks☆66Updated 2 years ago
- NaturalProofs: Mathematical Theorem Proving in Natural Language (NeurIPS 2021 Datasets & Benchmarks)☆130Updated 2 years ago
- A unified benchmark for math reasoning☆88Updated 2 years ago
- Code for the paper "Implicit Representations of Meaning in Neural Language Models"☆54Updated 2 years ago
- Pytorch implementation of “Recursive Non-Autoregressive Graph-to-Graph Transformer for Dependency Parsing with Iterative Refinement”☆62Updated 4 years ago
- LogiTorch is a PyTorch-based library for logical reasoning on natural language☆72Updated 8 months ago
- Adaptation of TextWorld for materials synthesis procedures analysis using Text To Quest System☆9Updated last year
- Query-focused summarization data☆41Updated 2 years ago
- ☆44Updated last year
- ☆29Updated last year
- ☆107Updated 2 years ago
- Official code for paper LIME: Learning Inductive Bias for Primitives of Mathematical Reasoning☆29Updated 3 years ago
- Efficient Memory-Augmented Transformers☆34Updated 2 years ago
- ☆18Updated 2 years ago
- Rationales for Sequential Predictions☆40Updated 3 years ago
- NumGLUE: A Suite of Fundamental yet Challenging Mathematical Reasoning Tasks☆20Updated 3 years ago