epfl-dlab / GCD
☆34Updated 2 months ago
Alternatives and similar repositories for GCD:
Users that are interested in GCD are comparing it to the libraries listed below
- The LM Contamination Index is a manually created database of contamination evidences for LMs.☆78Updated last year
- Grammar Prompting for Domain-Specific Language Generation with Large Language Models☆71Updated last year
- A unified benchmark for math reasoning☆88Updated 2 years ago
- NaturalProver: Grounded Mathematical Proof Generation with Language Models☆37Updated 2 years ago
- ☆38Updated last year
- ☆46Updated last year
- 🌾 Universal, customizable and deployable fine-grained evaluation for text generation.☆22Updated last year
- Synthetic question-answering dataset to formally analyze the chain-of-thought output of large language models on a reasoning task.☆146Updated 6 months ago
- Repo for ICML23 "Why do Nearest Neighbor Language Models Work?"☆56Updated 2 years ago
- code for "Natural Language to Code Translation with Execution"☆41Updated 2 years ago
- Source code and data for The Magic of IF: Investigating Causal Reasoning Abilities in Large Language Models of Code (Findings of ACL 2023…☆29Updated last year
- Composable inference algorithms with LLMs and programmable logic☆67Updated 5 months ago
- Minimum Bayes Risk Decoding for Hugging Face Transformers☆58Updated 11 months ago
- ☆34Updated 4 months ago
- ☆49Updated 5 months ago
- PyTorch code for the RetoMaton paper: "Neuro-Symbolic Language Modeling with Automaton-augmented Retrieval" (ICML 2022)☆71Updated 2 years ago
- ☆44Updated last year
- ☆31Updated last week
- How do transformer LMs encode relations?☆48Updated last year
- Repository for the code of the "PPL-MCTS: Constrained Textual Generation Through Discriminator-Guided Decoding" paper, NAACL'22☆65Updated 2 years ago
- The GitHub repo for Goal Driven Discovery of Distributional Differences via Language Descriptions☆69Updated 2 years ago
- ☆121Updated last year
- Code for the paper "Decomposing the Enigma: Subgoal-based Demonstration Learning for Formal Theorem Proving"☆19Updated last year
- The accompanying code for "Transformer Feed-Forward Layers Are Key-Value Memories". Mor Geva, Roei Schuster, Jonathan Berant, and Omer Le…☆91Updated 3 years ago
- EMNLP 2022: Generating Natural Language Proofs with Verifier-Guided Search https://arxiv.org/abs/2205.12443☆84Updated 7 months ago
- Few-shot Learning with Auxiliary Data☆27Updated last year
- Language Models of Code are Few-Shot Commonsense Learners (EMNLP 2022)☆86Updated 2 years ago
- ☆42Updated 9 months ago
- ☆26Updated 4 months ago
- ☆28Updated last year