Alternatives and similar repositories for NLProofS:

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

• GXimingLu / neurologic_decoding
  ☆82Updated last year
• yanaiela / pararel
  ☆44Updated last year
• peterwestuw / surface-form-competition
  ☆58Updated 2 years ago
• awebson / prompt_semantics
  This repository accompanies our paper “Do Prompt-Based Models Really Understand the Meaning of Their Prompts?”
  ☆85Updated 2 years ago
• McGill-NLP / FaithDial
  ☆47Updated 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
• ryokamoi / wice
  This repository contains the dataset and code for "WiCE: Real-World Entailment for Claims in Wikipedia" in EMNLP 2023.
  ☆40Updated last year
• allenai / Lila
  A unified benchmark for math reasoning
  ☆87Updated 2 years ago
• swj0419 / kNN_prompt
  TBC
  ☆26Updated 2 years ago
• allenai / numglue
  NumGLUE: A Suite of Fundamental yet Challenging Mathematical Reasoning Tasks
  ☆20Updated 2 years ago
• nicola-decao / KnowledgeEditor
  Code for Editing Factual Knowledge in Language Models
  ☆136Updated 3 years ago
• nelson-liu / evaluating-verifiability-in-generative-search-engines
  Companion repo for "Evaluating Verifiability in Generative Search Engines".
  ☆83Updated last year
• hitz-zentroa / lm-contamination
  The LM Contamination Index is a manually created database of contamination evidences for LMs.
  ☆77Updated 10 months ago
• swarnaHub / ExplaGraphs
  [EMNLP 2021] Dataset and PyTorch Code for ExplaGraphs: An Explanation Graph Generation Task for Structured Commonsense Reasoning
  ☆11Updated 2 years ago
• wenhuchen / Time-Sensitive-QA
  Code and Data for NeurIPS2021 Paper "A Dataset for Answering Time-Sensitive Questions"
  ☆66Updated 2 years ago
• TevenLeScao / pet
  This repository contains the code for "How many data points is a prompt worth?"
  ☆48Updated 3 years ago
• hkust-nlp / felm
  Github repository for "FELM: Benchmarking Factuality Evaluation of Large Language Models" (NeurIPS 2023)
  ☆57Updated last year
• neulab / retomaton
  PyTorch code for the RetoMaton paper: "Neuro-Symbolic Language Modeling with Automaton-augmented Retrieval" (ICML 2022)
  ☆71Updated 2 years ago
• lil-lab / bandit-qa
  Code for the paper "Simulating Bandit Learning from User Feedback for Extractive Question Answering".
  ☆18Updated 2 years ago
• ndaheim / faithful-dialogue
  ☆23Updated last year
• allenai / natural-instructions-v1
  Benchmarking Generalization to New Tasks from Natural Language Instructions
  ☆26Updated 3 years ago
• zorazrw / multilingual-conala
  [EACL'23] MCoNaLa: A Benchmark for Code Generation from Multiple Natural Languages
  ☆23Updated 2 years ago
• wzhouad / context-faithful-llm
  Code and data for paper "Context-faithful Prompting for Large Language Models".
  ☆39Updated last year
• PlusLabNLP / AESOP
  Code for Aesop: Paraphrase Generation with Adaptive Syntactic Control (EMNLP 2021)
  ☆27Updated 3 years ago
• c-box / LANKA
  Code for ACL2021 long paper: Knowledgeable or Educated Guess? Revisiting Language Models as Knowledge Bases
  ☆29Updated 3 years ago
• sail-sg / symbolic-instruction-tuning
  The official repository for the paper "From Zero to Hero: Examining the Power of Symbolic Tasks in Instruction Tuning".
  ☆63Updated last year
• Yale-LILY / ROSE
  ☆37Updated last year
• salesforce / DialFact
  We construct and introduce DIALFACT, a testing benchmark dataset crowd-annotated conversational claims, paired with pieces of evidence fr…
  ☆41Updated 2 years ago
• princeton-nlp / EvalConvQA
  [ACL 2022] Ditch the Gold Standard: Re-evaluating Conversational Question Answering
  ☆45Updated 2 years ago
• salesforce / QGen
  ☆33Updated last year