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 6 months ago
• GXimingLu / neurologic_decoding
  ☆82Updated 2 years ago
• allenai / Lila
  A unified benchmark for math reasoning
  ☆88Updated 2 years ago
• neulab / retomaton
  PyTorch code for the RetoMaton paper: "Neuro-Symbolic Language Modeling with Automaton-augmented Retrieval" (ICML 2022)
  ☆73Updated 3 years ago
• yanaiela / pararel
  ☆45Updated last year
• nicola-decao / KnowledgeEditor
  Code for Editing Factual Knowledge in Language Models
  ☆139Updated 3 years ago
• allenai / numglue
  NumGLUE: A Suite of Fundamental yet Challenging Mathematical Reasoning Tasks
  ☆20Updated 3 years ago
• hitz-zentroa / lm-contamination
  The LM Contamination Index is a manually created database of contamination evidences for LMs.
  ☆80Updated last year
• yumeng5 / SuperGen
  [NeurIPS 2022] Generating Training Data with Language Models: Towards Zero-Shot Language Understanding
  ☆69Updated 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
• lemaoliu / retrieval-generation-reading-list
  This project maintains a reading list for general text generation tasks
  ☆66Updated 3 years ago
• peterwestuw / surface-form-competition
  ☆58Updated 3 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)
  ☆112Updated 3 years ago
• violet-zct / fairseq-detect-hallucination
  Detect hallucinated tokens for conditional sequence generation.
  ☆64Updated 3 years ago
• McGill-NLP / FaithDial
  ☆50Updated 2 years ago
• TevenLeScao / pet
  This repository contains the code for "How many data points is a prompt worth?"
  ☆48Updated 4 years ago
• princeton-nlp / OptiPrompt
  [NAACL 2021] Factual Probing Is [MASK]: Learning vs. Learning to Recall https://arxiv.org/abs/2104.05240
  ☆167Updated 2 years ago
• google-deepmind / streamingqa
  ☆49Updated last year
• allenai / csqa2
  ☆36Updated last year
• idiap / g2g-transformer
  Pytorch implementation of “Recursive Non-Autoregressive Graph-to-Graph Transformer for Dependency Parsing with Iterative Refinement”
  ☆62Updated 4 years ago
• nelson-liu / evaluating-verifiability-in-generative-search-engines
  Companion repo for "Evaluating Verifiability in Generative Search Engines".
  ☆83Updated 2 years ago
• DevSinghSachan / syntax-augmented-bert
  Source code of the paper "Do Syntax Trees Help Pre-trained Transformers Extract Information?" (EACL 2021)
  ☆76Updated 3 years ago
• microsoft / REINA
  ☆117Updated 3 years ago
• allenai / entailment_bank
  ☆45Updated 2 years ago
• zorazrw / multilingual-conala
  [EACL'23] MCoNaLa: A Benchmark for Code Generation from Multiple Natural Languages
  ☆23Updated 2 years ago
• teacherpeterpan / Unsupervised-Multi-hop-QA
  Codes for NAACL 2021 Paper "Unsupervised Multi-hop Question Answering by Question Generation"
  ☆92Updated 2 years ago
• Leezekun / dialogic
  [EMNLP 2022] Code and data for "Controllable Dialogue Simulation with In-Context Learning"
  ☆35Updated 2 years ago
• INK-USC / XCSR
  Code Repo for the ACL21 paper "Common Sense Beyond English: Evaluating and Improving Multilingual LMs for Commonsense Reasoning"
  ☆22Updated 3 years ago
• eladsegal / strategyqa
  The official code of TACL 2021, "Did Aristotle Use a Laptop? A Question Answering Benchmark with Implicit Reasoning Strategies".
  ☆78Updated 2 years ago
• princeton-nlp / TRIME
  [EMNLP 2022] Training Language Models with Memory Augmentation https://arxiv.org/abs/2205.12674
  ☆196Updated 2 years ago