Alternatives and similar repositories for NLProofS

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

• princeton-nlp / ShortcutGrammar
  EMNLP 2022: Finding Dataset Shortcuts with Grammar Induction https://arxiv.org/abs/2210.11560
  ☆57Updated 9 months ago
• neulab / retomaton
  PyTorch code for the RetoMaton paper: "Neuro-Symbolic Language Modeling with Automaton-augmented Retrieval" (ICML 2022)
  ☆74Updated 3 years ago
• GXimingLu / neurologic_decoding
  ☆82Updated 2 years ago
• yanaiela / pararel
  ☆47Updated last year
• nicola-decao / KnowledgeEditor
  Code for Editing Factual Knowledge in Language Models
  ☆142Updated 3 years ago
• peterwestuw / surface-form-competition
  ☆58Updated 3 years ago
• awebson / prompt_semantics
  This repository accompanies our paper “Do Prompt-Based Models Really Understand the Meaning of Their Prompts?”
  ☆85Updated 3 years ago
• hitz-zentroa / lm-contamination
  The LM Contamination Index is a manually created database of contamination evidences for LMs.
  ☆81Updated last year
• allenai / numglue
  NumGLUE: A Suite of Fundamental yet Challenging Mathematical Reasoning Tasks
  ☆20Updated 3 years ago
• allenai / Lila
  A unified benchmark for math reasoning
  ☆89Updated 2 years ago
• INK-USC / CrossFit
  Code for paper "CrossFit : A Few-shot Learning Challenge for Cross-task Generalization in NLP" (https://arxiv.org/abs/2104.08835)
  ☆113Updated 3 years ago
• yumeng5 / SuperGen
  [NeurIPS 2022] Generating Training Data with Language Models: Towards Zero-Shot Language Understanding
  ☆69Updated 3 years ago
• nelson-liu / evaluating-verifiability-in-generative-search-engines
  Companion repo for "Evaluating Verifiability in Generative Search Engines".
  ☆86Updated 2 years ago
• lemaoliu / retrieval-generation-reading-list
  This project maintains a reading list for general text generation tasks
  ☆66Updated 4 years ago
• DevSinghSachan / syntax-augmented-bert
  Source code of the paper "Do Syntax Trees Help Pre-trained Transformers Extract Information?" (EACL 2021)
  ☆75Updated 3 years ago
• TevenLeScao / pet
  This repository contains the code for "How many data points is a prompt worth?"
  ☆48Updated 4 years ago
• INK-USC / XCSR
  Code Repo for the ACL21 paper "Common Sense Beyond English: Evaluating and Improving Multilingual LMs for Commonsense Reasoning"
  ☆23Updated 4 years ago
• tanyuqian / ctc-gen-eval
  EMNLP 2021 - CTC: A Unified Framework for Evaluating Natural Language Generation
  ☆98Updated 2 years ago
• allenai / csqa2
  ☆36Updated last year
• zorazrw / multilingual-conala
  [EACL'23] MCoNaLa: A Benchmark for Code Generation from Multiple Natural Languages
  ☆23Updated 2 years ago
• czyssrs / Logic2Text
  Data and code for EMNLP 2020 paper "Logic2Text: High-Fidelity Natural Language Generation from Logical Forms"
  ☆71Updated 2 years ago
• McGill-NLP / FaithDial
  ☆50Updated 2 years ago
• alisawuffles / DExperts
  code associated with ACL 2021 DExperts paper
  ☆118Updated 2 years ago
• microsoft / REINA
  ☆117Updated 3 years ago
• allenai / abductive-commonsense-reasoning
  ☆74Updated last year
• HanNight / RE-T5
  Code and data for "Retrieval Enhanced Model for Commonsense Generation" (ACL-IJCNLP 2021).
  ☆29Updated 3 years ago
• kayoyin / interpret-lm
  Interpreting Language Models with Contrastive Explanations (EMNLP 2022 Best Paper Honorable Mention)
  ☆62Updated 3 years ago
• allenai / flex
  Few-shot NLP benchmark for unified, rigorous eval
  ☆93Updated 3 years ago
• nkandpa2 / long_tail_knowledge
  Repo for the paper "Large Language Models Struggle to Learn Long-Tail Knowledge"
  ☆78Updated 2 years ago
• princeton-nlp / OptiPrompt
  [NAACL 2021] Factual Probing Is [MASK]: Learning vs. Learning to Recall https://arxiv.org/abs/2104.05240
  ☆168Updated 3 years ago