Alternatives and similar repositories for FOLIO

Users that are interested in FOLIO are comparing it to the libraries listed below

• allenai / ruletaker
  ☆48Updated 6 months ago
• asaparov / prontoqa
  Synthetic question-answering dataset to formally analyze the chain-of-thought output of large language models on a reasoning task.
  ☆147Updated 8 months ago
• LogiTorch / logitorch
  LogiTorch is a PyTorch-based library for logical reasoning on natural language
  ☆73Updated 9 months ago
• yanaiela / pararel
  ☆44Updated last year
• nelson-liu / evaluating-verifiability-in-generative-search-engines
  Companion repo for "Evaluating Verifiability in Generative Search Engines".
  ☆83Updated 2 years ago
• GXimingLu / neurologic_decoding
  ☆82Updated 2 years ago
• princeton-nlp / NLProofS
  EMNLP 2022: Generating Natural Language Proofs with Verifier-Guided Search https://arxiv.org/abs/2205.12443
  ☆86Updated 9 months ago
• nicola-decao / KnowledgeEditor
  Code for Editing Factual Knowledge in Language Models
  ☆138Updated 3 years ago
• goodbai-nlp / AMRBART
  Code for our paper "Graph Pre-training for AMR Parsing and Generation" in ACL2022
  ☆99Updated last year
• neulab / retomaton
  PyTorch code for the RetoMaton paper: "Neuro-Symbolic Language Modeling with Automaton-augmented Retrieval" (ICML 2022)
  ☆73Updated 2 years ago
• gblackout / LogicLLaMA
  Large language model and dataset for natural language to first-order logic translation
  ☆59Updated last year
• peterwestai2 / symbolic-knowledge-distillation
  ☆140Updated 2 years ago
• hitz-zentroa / lm-contamination
  The LM Contamination Index is a manually created database of contamination evidences for LMs.
  ☆78Updated last year
• allenai / Lila
  A unified benchmark for math reasoning
  ☆88Updated 2 years ago
• ryokamoi / wice
  This repository contains the dataset and code for "WiCE: Real-World Entailment for Claims in Wikipedia" in EMNLP 2023.
  ☆41Updated last year
• allenai / numglue
  NumGLUE: A Suite of Fundamental yet Challenging Mathematical Reasoning Tasks
  ☆20Updated 3 years ago
• alevkov / text2log
  Character-based seq2seq models (english => predicate logic)
  ☆14Updated 4 years ago
• allenai / entailment_bank
  ☆43Updated 2 years ago
• GXimingLu / Quark
  ☆75Updated last year
• sroy9 / mawps
  Code for MAWPS: A Math Word Problem Repository
  ☆41Updated 2 years ago
• sunlab-osu / Understanding-CoT
  ☆87Updated 2 years ago
• princeton-nlp / ShortcutGrammar
  EMNLP 2022: Finding Dataset Shortcuts with Grammar Induction https://arxiv.org/abs/2210.11560
  ☆58Updated 3 months ago
• berlino / grammar-prompting
  Grammar Prompting for Domain-Specific Language Generation with Large Language Models
  ☆74Updated last year
• McGill-NLP / FaithDial
  ☆48Updated 2 years ago
• benlipkin / linc
  🔗 LINC: Logical Inference via Neurosymbolic Computation [EMNLP2023]
  ☆70Updated last year
• jzbjyb / lm-calibration
  ☆35Updated 3 years ago
• epfl-dlab / GenIE
  The autoregressive information extraction system GenIE (Generative Information Extraction) implemented in PyTorch.
  ☆104Updated 2 years ago
• lyutyuh / ASP
  PyTorch implementation and pre-trained models for ASP - Autoregressive Structured Prediction with Language Models, EMNLP 22. https://arxi…
  ☆106Updated last year
• Betswish / MIRAGE
  Easy-to-use MIRAGE code for faithful answer attribution in RAG applications. Paper: https://aclanthology.org/2024.emnlp-main.347/
  ☆24Updated 3 months ago
• GEM-benchmark / GEM-metrics
  Automatic metrics for GEM tasks
  ☆66Updated 2 years ago