Alternatives and similar repositories for grammar-prompting:

Users that are interested in grammar-prompting are comparing it to the libraries listed below

• asaparov / prontoqa
  Synthetic question-answering dataset to formally analyze the chain-of-thought output of large language models on a reasoning task.
  ☆135Updated 4 months ago
• hitz-zentroa / lm-contamination
  The LM Contamination Index is a manually created database of contamination evidences for LMs.
  ☆77Updated 10 months ago
• benlipkin / linc
  🔗 LINC: Logical Inference via Neurosymbolic Computation [EMNLP2023]
  ☆60Updated last year
• zorazrw / odex
  [EMNLP'23] Execution-Based Evaluation for Open Domain Code Generation
  ☆46Updated last year
• xufangzhi / Symbol-LLM
  [ACL 2024] The project of Symbol-LLM
  ☆47Updated 7 months ago
• princeton-nlp / NLProofS
  EMNLP 2022: Generating Natural Language Proofs with Verifier-Guided Search https://arxiv.org/abs/2205.12443
  ☆83Updated 5 months ago
• epfl-dlab / GCD
  ☆32Updated last year
• xiye17 / SAT-LM
  SatLM: SATisfiability-Aided Language Models using Declarative Prompting (NeurIPS 2023)
  ☆47Updated 7 months ago
• archiki / ReCEval
  Supporting code for ReCEval paper
  ☆28Updated 5 months ago
• crux-eval / eval-arena
  ☆22Updated 3 months ago
• allenai / entailment_bank
  ☆43Updated 2 years ago
• neulab / retomaton
  PyTorch code for the RetoMaton paper: "Neuro-Symbolic Language Modeling with Automaton-augmented Retrieval" (ICML 2022)
  ☆71Updated 2 years ago
• pcyin / zeroshot_parser
  A zero-shot neural semantic parser without using annotated parallel training data.
  ☆9Updated 2 years ago
• YuxiXie / SelfEval-Guided-Decoding
  ☆93Updated last year
• reasoning-machines / CoCoGen
  Language Models of Code are Few-Shot Commonsense Learners (EMNLP 2022)
  ☆86Updated last year
• gblackout / LogicLLaMA
  Large language model and dataset for natural language to first-order logic translation
  ☆50Updated last year
• ntunlp / LLMSanitize
  An open-source library for contamination detection in NLP datasets and Large Language Models (LLMs).
  ☆49Updated 6 months ago
• facebookresearch / mbr-exec
  code for "Natural Language to Code Translation with Execution"
  ☆40Updated 2 years ago
• mega002 / ff-layers
  The accompanying code for "Transformer Feed-Forward Layers Are Key-Value Memories". Mor Geva, Roei Schuster, Jonathan Berant, and Omer Le…
  ☆89Updated 3 years ago
• google-research / true
  Code and data accompanying the paper "TRUE: Re-evaluating Factual Consistency Evaluation".
  ☆75Updated 3 months ago
• debjitpaul / refiner
  About The corresponding code from our paper " REFINER: Reasoning Feedback on Intermediate Representations" (EACL 2024). Do not hesitate t…
  ☆70Updated last year
• Alrope123 / rethinking-demonstrations
  ☆173Updated 6 months ago
• shunzh / Code-AI-Tree-Search
  ☆114Updated 7 months ago
• linlu-qiu / lm-inductive-reasoning
  ☆30Updated last year
• niansong1996 / lever
  Code for paper "LEVER: Learning to Verifiy Language-to-Code Generation with Execution" (ICML'23)
  ☆83Updated last year
• veronica320 / Faithful-COT
  Code and data accompanying our paper on arXiv "Faithful Chain-of-Thought Reasoning".
  ☆157Updated 9 months ago
• esteng / regal_program_learning
  ☆22Updated 5 months ago
• evandez / REMEDI
  Inspecting and Editing Knowledge Representations in Language Models
  ☆112Updated last year
• dki-lab / Pangu
  Code for reproducing the ACL'23 paper: Don't Generate, Discriminate: A Proposal for Grounding Language Models to Real-World Environments
  ☆73Updated last year
• Yale-LILY / FOLIO
  ☆114Updated last year