berlino / grammar-promptingLinks
Grammar Prompting for Domain-Specific Language Generation with Large Language Models
☆75Updated last year
Alternatives and similar repositories for grammar-prompting
Users that are interested in grammar-prompting are comparing it to the libraries listed below
Sorting:
- 🔗 LINC: Logical Inference via Neurosymbolic Computation [EMNLP2023]☆77Updated last year
- Synthetic question-answering dataset to formally analyze the chain-of-thought output of large language models on a reasoning task.☆150Updated last month
- ☆120Updated last year
- ☆133Updated last year
- [EMNLP'23] Execution-Based Evaluation for Open Domain Code Generation☆49Updated last year
- Language Models of Code are Few-Shot Commonsense Learners (EMNLP 2022)☆85Updated 2 years ago
- SatLM: SATisfiability-Aided Language Models using Declarative Prompting (NeurIPS 2023)☆50Updated last year
- Code for paper "LEVER: Learning to Verifiy Language-to-Code Generation with Execution" (ICML'23)☆90Updated 2 years ago
- InstructCoder: Instruction Tuning Large Language Models for Code Editing | Oral ACL-2024 srw☆62Updated last year
- The project page for "LOGIC-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning"☆351Updated last year
- ☆28Updated this week
- Neuro-Symbolic Integration Brings Causal and Reliable Reasoning Proofs☆40Updated last year
- Codes and Data for ACL 2024 Paper "Faithful Logical Reasoning via Symbolic Chain-of-Thought".☆193Updated last year
- Composable inference algorithms with LLMs and programmable logic☆69Updated 10 months ago
- Training and Benchmarking LLMs for Code Preference.☆36Updated 11 months ago
- ☆42Updated 7 months ago
- ☆25Updated last year
- ☆80Updated 7 months ago
- About The corresponding code from our paper " REFINER: Reasoning Feedback on Intermediate Representations" (EACL 2024). Do not hesitate t…☆70Updated last year
- ☆103Updated last year
- [ACL'24] Code and data of paper "When is Tree Search Useful for LLM Planning? It Depends on the Discriminator"☆54Updated last year
- PyTorch code for the RetoMaton paper: "Neuro-Symbolic Language Modeling with Automaton-augmented Retrieval" (ICML 2022)☆73Updated 3 years ago
- ☆53Updated last year
- code for "Natural Language to Code Translation with Execution"☆41Updated 2 years ago
- Code for the TMLR 2023 paper "PPOCoder: Execution-based Code Generation using Deep Reinforcement Learning"☆117Updated last year
- NaturalProver: Grounded Mathematical Proof Generation with Language Models☆38Updated 2 years ago
- The official repo for "TheoremQA: A Theorem-driven Question Answering dataset" (EMNLP 2023)☆36Updated last year
- ☆54Updated 2 years ago
- NumGLUE: A Suite of Fundamental yet Challenging Mathematical Reasoning Tasks☆20Updated 3 years ago
- Official code for the paper "CodeChain: Towards Modular Code Generation Through Chain of Self-revisions with Representative Sub-modules"☆47Updated 9 months ago