Yale-LILY / FOLIO
☆119Updated last year
Alternatives and similar repositories for FOLIO:
Users that are interested in FOLIO are comparing it to the libraries listed below
- ☆82Updated 2 years ago
- PyTorch code for the RetoMaton paper: "Neuro-Symbolic Language Modeling with Automaton-augmented Retrieval" (ICML 2022)☆71Updated 2 years ago
- ☆44Updated last year
- A unified benchmark for math reasoning☆87Updated 2 years ago
- EMNLP 2022: Generating Natural Language Proofs with Verifier-Guided Search https://arxiv.org/abs/2205.12443☆84Updated 7 months ago
- The LM Contamination Index is a manually created database of contamination evidences for LMs.☆78Updated last year
- LogiTorch is a PyTorch-based library for logical reasoning on natural language☆72Updated 7 months ago
- ☆138Updated 2 years ago
- ☆49Updated 4 months ago
- NumGLUE: A Suite of Fundamental yet Challenging Mathematical Reasoning Tasks☆20Updated 2 years ago
- The official code of TACL 2021, "Did Aristotle Use a Laptop? A Question Answering Benchmark with Implicit Reasoning Strategies".☆69Updated 2 years ago
- code associated with ACL 2021 DExperts paper☆114Updated last year
- Companion repo for "Evaluating Verifiability in Generative Search Engines".☆83Updated last year
- ☆75Updated last year
- Code for MAWPS: A Math Word Problem Repository☆40Updated 2 years ago
- Code for Editing Factual Knowledge in Language Models☆137Updated 3 years ago
- PyTorch + HuggingFace code for RetoMaton: "Neuro-Symbolic Language Modeling with Automaton-augmented Retrieval" (ICML 2022), including an…☆271Updated 2 years ago
- ☆131Updated 3 months ago
- This repository contains the code for "Self-Diagnosis and Self-Debiasing: A Proposal for Reducing Corpus-Based Bias in NLP".☆88Updated 3 years ago
- This repository contains the dataset and code for "WiCE: Real-World Entailment for Claims in Wikipedia" in EMNLP 2023.☆41Updated last year
- ☆43Updated 2 years ago
- ☆173Updated 8 months ago
- Data and Code Release for "On the Potential of Lexico-logical Alignments for Semantic Parsing to SQL Queries"☆51Updated 4 years ago
- ☆58Updated 2 years ago
- Automatic metrics for GEM tasks☆65Updated 2 years ago
- ☆34Updated 3 years ago
- Large language model and dataset for natural language to first-order logic translation☆55Updated last year
- This repository accompanies our paper “Do Prompt-Based Models Really Understand the Meaning of Their Prompts?”☆85Updated 2 years ago
- ☆45Updated 2 years ago
- Independent implementation of DBCA method from http://arxiv.org/abs/1912.09713☆11Updated 4 years ago