Yale-LILY / FOLIO
☆117Updated last year
Alternatives and similar repositories for FOLIO:
Users that are interested in FOLIO are comparing it to the libraries listed below
- ☆82Updated last year
- ☆45Updated 3 months ago
- PyTorch code for the RetoMaton paper: "Neuro-Symbolic Language Modeling with Automaton-augmented Retrieval" (ICML 2022)☆71Updated 2 years ago
- EMNLP 2022: Generating Natural Language Proofs with Verifier-Guided Search https://arxiv.org/abs/2205.12443☆83Updated 5 months ago
- Companion repo for "Evaluating Verifiability in Generative Search Engines".☆83Updated last year
- GLUCOSE: GeneraLized and COntextualized Story Explanations https://arxiv.org/abs/2009.07758☆92Updated 4 years ago
- LogiTorch is a PyTorch-based library for logical reasoning on natural language☆70Updated 6 months ago
- Code for Editing Factual Knowledge in Language Models☆136Updated 3 years ago
- ☆137Updated 2 years ago
- ☆44Updated last year
- Code and data accompanying the paper "TRUE: Re-evaluating Factual Consistency Evaluation".☆75Updated 3 months ago
- NumGLUE: A Suite of Fundamental yet Challenging Mathematical Reasoning Tasks☆20Updated 2 years ago
- PyTorch + HuggingFace code for RetoMaton: "Neuro-Symbolic Language Modeling with Automaton-augmented Retrieval" (ICML 2022), including an…☆271Updated 2 years ago
- ☆70Updated 11 months ago
- Synthetic question-answering dataset to formally analyze the chain-of-thought output of large language models on a reasoning task.☆137Updated 4 months ago
- ☆58Updated 2 years ago
- Code for MAWPS: A Math Word Problem Repository☆40Updated last year
- ☆43Updated 2 years ago
- Automatic metrics for GEM tasks☆65Updated 2 years ago
- XCOPA: A Multilingual Dataset for Causal Commonsense Reasoning☆101Updated 4 years ago
- This repository contains the dataset and code for "WiCE: Real-World Entailment for Claims in Wikipedia" in EMNLP 2023.☆41Updated last year
- Contrastive Fact Verification☆71Updated 2 years ago
- Codebase, data and models for the SummaC paper in TACL☆88Updated last month
- ☆127Updated last month
- Code for the arXiv paper: "LLMs as Factual Reasoners: Insights from Existing Benchmarks and Beyond"☆59Updated last month
- Large language model and dataset for natural language to first-order logic translation☆51Updated last year
- The LM Contamination Index is a manually created database of contamination evidences for LMs.☆77Updated 11 months ago
- 🔗 LINC: Logical Inference via Neurosymbolic Computation [EMNLP2023]☆61Updated last year
- ☆75Updated last year
- Data and Code Release for "On the Potential of Lexico-logical Alignments for Semantic Parsing to SQL Queries"☆52Updated 4 years ago