Jungyhuk / plotcoder
☆21Updated 2 years ago
Related projects: ⓘ
- code for "Natural Language to Code Translation with Execution"☆39Updated last year
- Code for "Learning Structural Edits via Incremental Tree Transformations" (ICLR'21)☆40Updated 3 years ago
- Code for generating the JuICe dataset.☆37Updated 2 years ago
- Data and Code for StructuredRegex.☆13Updated 10 months ago
- PyTorch code for the RetoMaton paper: "Neuro-Symbolic Language Modeling with Automaton-augmented Retrieval" (ICML 2022)☆69Updated 2 years ago
- ☆38Updated 3 years ago
- Neural Unification for Logic Reasoning over Language☆22Updated 2 years ago
- ☆22Updated last year
- ☆40Updated 2 years ago
- This repository contains some of the code used in the paper "Training Language Models with Langauge Feedback at Scale"☆26Updated last year
- Scratchpad/Chain-of-Thought Prompts☆12Updated 2 years ago
- Code Repository for "A Causal Framework to Quantify the Robustness of Mathematical Reasoning with Language Models".☆12Updated last year
- Learning to Model Editing Processes☆26Updated 2 years ago
- Scripts for downloading and pre-processing the `proof-pile`, a high quality dataset of mathematical text and code.☆18Updated last year
- Paper: Lexicon Learning for Few-Shot Neural Sequence Modeling☆15Updated 2 years ago
- Code for our paper: "GrIPS: Gradient-free, Edit-based Instruction Search for Prompting Large Language Models"☆50Updated last year
- A zero-shot neural semantic parser without using annotated parallel training data.☆8Updated 2 years ago
- [EMNLP 2020] PyTorch code of PRover: Proof Generation for Interpretable Reasoning over Rules☆19Updated last year
- The implementation for the paper `Byte-Pair Encoding for Text-to-SQL Generation`.☆14Updated 4 years ago
- Repo for ICML23 "Why do Nearest Neighbor Language Models Work?"☆56Updated last year
- NaturalProver: Grounded Mathematical Proof Generation with Language Models☆34Updated last year
- Code Release for "On the Inductive Bias of Masked Language Modeling: From Statistical to Syntactic Dependencies"☆15Updated 3 years ago
- Performance Prediction for NLP Tasks☆16Updated 4 years ago
- Symbolic Brittleness in Sequence Models: on Systematic Generalization in Symbolic Mathematics (AAAI 2022)☆14Updated 2 years ago
- NumGLUE: A Suite of Fundamental yet Challenging Mathematical Reasoning Tasks☆20Updated 2 years ago
- [EMNLP 2022] Language Model Pre-Training with Sparse Latent Typing☆15Updated last year
- Code for the paper "Decomposing the Enigma: Subgoal-based Demonstration Learning for Formal Theorem Proving"☆17Updated last year
- PyTorch Implementation of NeurIPS 2020 paper "Learning Sparse Prototypes for Text Generation"☆21Updated 3 years ago
- Code for Neural Execution Engines: Learning to Execute Subroutines☆16Updated 3 years ago
- source code of NAACL2021 "PCFGs Can Do Better: Inducing Probabilistic Context-Free Grammars with Many Symbols“ and ACL2021 main conferenc…☆44Updated 6 months ago