sumith1896 / spocLinks
Official code release of our NeurIPS '19 paper "SPoC: Search-based Pseudocode to Code"
☆16Updated 2 years ago
Alternatives and similar repositories for spoc
Users that are interested in spoc are comparing it to the libraries listed below
Sorting:
- Code for generating the JuICe dataset.☆37Updated 3 years ago
- Dataset and code for Findings of EMNLP'21 paper "CodeQA: A Question Answering Dataset for Source Code Comprehension".☆42Updated last year
- Code for "Learning Structural Edits via Incremental Tree Transformations" (ICLR'21)☆41Updated 4 years ago
- PyTorch code for the RetoMaton paper: "Neuro-Symbolic Language Modeling with Automaton-augmented Retrieval" (ICML 2022)☆73Updated 3 years ago
- ☆21Updated 3 years ago
- Repository for the Question Answering via Sentence Composition (QASC) dataset☆56Updated 2 years ago
- ☆50Updated 9 months ago
- Code and data for ACL20 paper "Incorporating External Knowledge through Pre-training for Natural Language to Code Generation"☆98Updated 2 years ago
- A highly sophisticated sequence-to-sequence model for code generation☆40Updated 4 years ago
- EMNLP 2022: Generating Natural Language Proofs with Verifier-Guided Search https://arxiv.org/abs/2205.12443☆86Updated last year
- Source code of the paper "Do Syntax Trees Help Pre-trained Transformers Extract Information?" (EACL 2021)☆76Updated 3 years ago
- ☆142Updated 3 years ago
- A plugin for code generation in PyCharm/IntelliJ using tranX☆36Updated 3 years ago
- ☆33Updated 2 years ago
- ☆24Updated 5 years ago
- NumGLUE: A Suite of Fundamental yet Challenging Mathematical Reasoning Tasks☆20Updated 3 years ago
- ☆131Updated last year
- This repository contains the code for "How many data points is a prompt worth?"☆48Updated 4 years ago
- Code for the ICLR 2019 paper "Learning to Represent Edits"☆12Updated 2 years ago
- Semantic Scaffolds for Pseudocode-to-Code Generation (accepted by ACL 2020)☆13Updated 4 years ago
- ☆45Updated 2 years ago
- Neural Unification for Logic Reasoning over Language☆22Updated 3 years ago
- ☆82Updated 2 years ago
- PLUR (Programming-Language Understanding and Repair) is a collection of source code datasets suitable for graph-based machine learning. W…☆87Updated 3 years ago
- NaturalProofs: Mathematical Theorem Proving in Natural Language (NeurIPS 2021 Datasets & Benchmarks)☆133Updated 3 years ago
- [EMNLP 2020] PyTorch code of PRover: Proof Generation for Interpretable Reasoning over Rules☆19Updated 2 years ago
- Code and pre-trained models for "ReasonBert: Pre-trained to Reason with Distant Supervision", EMNLP'2021☆29Updated 2 years ago
- Official implementation of the paper "IteraTeR: Understanding Iterative Revision from Human-Written Text" (ACL 2022)☆81Updated last year
- Code for MAWPS: A Math Word Problem Repository☆41Updated 2 years ago
- Code for the paper "Implicit Representations of Meaning in Neural Language Models"☆54Updated 2 years ago