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
• hitz-zentroa / lm-contamination
  The LM Contamination Index is a manually created database of contamination evidences for LMs.
  ☆77Updated 11 months 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
• McGill-NLP / FaithDial
  ☆47Updated 2 years ago
• ndaheim / faithful-dialogue
  ☆24Updated last year
• Yale-LILY / ROSE
  ☆38Updated last year
• lemaoliu / retrieval-generation-reading-list
  This project maintains a reading list for general text generation tasks
  ☆65Updated 3 years ago
• TevenLeScao / pet
  This repository contains the code for "How many data points is a prompt worth?"
  ☆48Updated 3 years ago
• wenhuchen / Time-Sensitive-QA
  Code and Data for NeurIPS2021 Paper "A Dataset for Answering Time-Sensitive Questions"
  ☆66Updated 3 years ago
• nelson-liu / evaluating-verifiability-in-generative-search-engines
  Companion repo for "Evaluating Verifiability in Generative Search Engines".
  ☆83Updated last year
• swj0419 / kNN_prompt
  TBC
  ☆26Updated 2 years ago
• sunlab-osu / Understanding-CoT
  ☆86Updated last year
• allenai / entailment_bank
  ☆43Updated 2 years ago
• HornHehhf / RR
  ☆44Updated 10 months ago
• prakharguptaz / Instructdial
  Code for the paper Code for the paper InstructDial: Improving Zero and Few-shot Generalization in Dialogue through Instruction Tuning
  ☆99Updated last year
• allenai / Lila
  A unified benchmark for math reasoning
  ☆87Updated 2 years ago
• nicola-decao / KnowledgeEditor
  Code for Editing Factual Knowledge in Language Models
  ☆136Updated 3 years ago
• artidoro / frank
  FRANK: Factuality Evaluation Benchmark
  ☆54Updated 2 years ago
• allenai / csqa2
  ☆36Updated 11 months ago
• xu1998hz / InstructScore_SEScore3
  First explanation metric (diagnostic report) for text generation evaluation
  ☆62Updated last week
• oriyor / turning_tables
  Implementation of the paper: "Turning Tables: Generating Examples from Semi-structured Tables for Endowing Language Models with Reasoning…
  ☆22Updated 3 years ago
• wzhouad / context-faithful-llm
  Code and data for paper "Context-faithful Prompting for Large Language Models".
  ☆39Updated last year
• zorazrw / multilingual-conala
  [EACL'23] MCoNaLa: A Benchmark for Code Generation from Multiple Natural Languages
  ☆23Updated 2 years ago
• hkust-nlp / felm
  Github repository for "FELM: Benchmarking Factuality Evaluation of Large Language Models" (NeurIPS 2023)
  ☆58Updated last year
• DevSinghSachan / syntax-augmented-bert
  Source code of the paper "Do Syntax Trees Help Pre-trained Transformers Extract Information?" (EACL 2021)
  ☆74Updated 3 years ago
• jzbjyb / lm-calibration
  ☆34Updated 3 years ago
• microsoft / HaDes
  Token-level Reference-free Hallucination Detection
  ☆94Updated last year