Alternatives and similar repositories for grammar-prompting:

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

• benlipkin / linc
  🔗 LINC: Logical Inference via Neurosymbolic Computation [EMNLP2023]
  ☆66Updated last year
• Yale-LILY / FOLIO
  ☆119Updated last year
• asaparov / prontoqa
  Synthetic question-answering dataset to formally analyze the chain-of-thought output of large language models on a reasoning task.
  ☆144Updated 6 months ago
• hitz-zentroa / lm-contamination
  The LM Contamination Index is a manually created database of contamination evidences for LMs.
  ☆78Updated last year
• xiye17 / SAT-LM
  SatLM: SATisfiability-Aided Language Models using Declarative Prompting (NeurIPS 2023)
  ☆48Updated 9 months ago
• zorazrw / odex
  [EMNLP'23] Execution-Based Evaluation for Open Domain Code Generation
  ☆47Updated last year
• esteng / regal_program_learning
  ☆23Updated 7 months ago
• SuperBruceJia / Awesome-LLM-Self-Consistency
  Awesome LLM Self-Consistency: a curated list of Self-consistency in Large Language Models
  ☆96Updated 8 months ago
• crux-eval / eval-arena
  ☆24Updated 5 months ago
• princeton-nlp / LM-Science-Tutor
  ☆42Updated 8 months ago
• shunzh / Code-AI-Tree-Search
  ☆115Updated 9 months ago
• Zayne-sprague / MuSR
  ☆43Updated 8 months ago
• OSU-NLP-Group / llm-planning-eval
  [ACL'24] Code and data of paper "When is Tree Search Useful for LLM Planning? It Depends on the Discriminator"
  ☆54Updated last year
• princeton-nlp / NLProofS
  EMNLP 2022: Generating Natural Language Proofs with Verifier-Guided Search https://arxiv.org/abs/2205.12443
  ☆84Updated 7 months ago
• reasoning-machines / CoCoGen
  Language Models of Code are Few-Shot Commonsense Learners (EMNLP 2022)
  ☆86Updated 2 years ago
• StonyBrookNLP / musique
  Repository for MuSiQue: Multi-hop Questions via Single-hop Question Composition, TACL 2022
  ☆128Updated 10 months ago
• ruiqi-zhong / TestSuiteEval
  "Semantic Evaluation for Text-to-SQL with Distilled Test Suite", EMNLP2020
  ☆37Updated 4 years ago
• pcyin / zeroshot_parser
  A zero-shot neural semantic parser without using annotated parallel training data.
  ☆8Updated 3 years ago
• allenai / entailment_bank
  ☆43Updated 2 years ago
• wellecks / naturalprover
  NaturalProver: Grounded Mathematical Proof Generation with Language Models
  ☆37Updated 2 years ago
• xlang-ai / icl-selective-annotation
  [ICLR 2023] Code for our paper "Selective Annotation Makes Language Models Better Few-Shot Learners"
  ☆109Updated last year
• archiki / ReCEval
  Supporting code for ReCEval paper
  ☆28Updated 7 months ago
• benlipkin / decoding
  Composable inference algorithms with LLMs and programmable logic
  ☆68Updated 4 months ago
• neulab / retomaton
  PyTorch code for the RetoMaton paper: "Neuro-Symbolic Language Modeling with Automaton-augmented Retrieval" (ICML 2022)
  ☆71Updated 2 years ago
• csitfun / LogiCoT
  the instructions and demonstrations for building a formal logical reasoning capable GLM
  ☆53Updated 7 months ago
• gblackout / LogicLLaMA
  Large language model and dataset for natural language to first-order logic translation
  ☆55Updated last year
• sail-sg / symbolic-instruction-tuning
  The official repository for the paper "From Zero to Hero: Examining the Power of Symbolic Tasks in Instruction Tuning".
  ☆64Updated 2 years ago
• facebookresearch / mbr-exec
  code for "Natural Language to Code Translation with Execution"
  ☆41Updated 2 years ago
• YuxiXie / SelfEval-Guided-Decoding
  ☆95Updated last year
• TIGER-AI-Lab / TheoremQA
  The official repo for "TheoremQA: A Theorem-driven Question Answering dataset" (EMNLP 2023)
  ☆31Updated 11 months ago