Spoc: Search-based pseudocode to code

S Kulal, P Pasupat, K Chandra, M Lee… - Advances in …, 2019 - proceedings.neurips.cc
We consider the task of mapping pseudocode to executable code, assuming a one-to-one
correspondence between lines of pseudocode and lines of code. Given test cases as a …
Запазване Позоваване С позовавания в 169 Сродни статии Във вид на HTML

SPoC: search-based pseudocode to code

S Kulal, P Pasupat, K Chandra, M Lee… - Proceedings of the 33rd …, 2019 - dl.acm.org
We consider the task of mapping pseudocode to executable code, assuming a one-to-one
correspondence between lines of pseudocode and lines of code. Given test cases as a …
Позоваване

SPoC: Search-based Pseudocode to Code

S Kulal, P Pasupat, K Chandra, M Lee, O Padon… - openreview.net
We consider the task of mapping pseudocode to long programs that are functionally correct.
Given test cases as a mechanism to validate programs, we search over the space of …
Позоваване

SPoC: Search-based Pseudocode to Code

S Kulal, P Pasupat, K Chandra, M Lee, O Padon… - arXiv preprint arXiv …, 2019 - arxiv.org
We consider the task of mapping pseudocode to long programs that are functionally correct.
Given test cases as a mechanism to validate programs, we search over the space of …
Позоваване
[PDF] neurips.cc

[PDF][PDF] SPoC: Search-based Pseudocode to Code

S Kulal, P Pasupat, K Chandra, M Lee, O Padon… - papers.neurips.cc
We consider the task of mapping pseudocode to executable code, assuming a oneto-one
correspondence between lines of pseudocode and lines of code. Given test cases as a …
Позоваване

SPoC: Search-based Pseudocode to Code

S Kulal, P Pasupat, K Chandra, M Lee… - Advances in …, 2019 - proceedings.neurips.cc
We consider the task of mapping pseudocode to executable code, assuming a one-to-one
correspondence between lines of pseudocode and lines of code. Given test cases as a …
Позоваване

SPoC: Search-based Pseudocode to Code

S Kulal, P Pasupat, K Chandra, M Lee… - arXiv e …, 2019 - ui.adsabs.harvard.edu
We consider the task of mapping pseudocode to long programs that are functionally correct.
Given test cases as a mechanism to validate programs, we search over the space of …
Позоваване
[PDF] github.io

[PDF][PDF] SPoC: Search-based Pseudocode to Code

S Kulal, P Pasupat, K Chandra, M Lee, O Padon… - ppasupat.github.io
Given pseudocode and test cases, the task is to synthesize a program, which will be
evaluated on functional correctness. We release the SPoC dataset (18K programs+ human …
Позоваване