Timeline for Good pointers to learn foundations of Program induction and Program synthesis
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 26, 2018 at 6:35 | comment | added | 2bigpigs | Better link to MSR's PROSE: microsoft.com/en-us/research/publication/… | |
| Apr 26, 2018 at 6:31 | comment | added | 2bigpigs | I can't seem to edit my earlier comment. Since you know Neural nets, Here's a paper which uses RNN to guide the search ( program tree generation ) in Prose: openreview.net/forum?id=rywDjg-RW This does compare the approach to a couple of statistical methods as well. ( I personally share the sentiment of the "Although the search method chosen was reasonable, the only real innovation here is to use the LSTM to learn a search heuristic." review on this one, but it's good food for thought. can probably used in the other direction to use a grammar to constrain an NN | |
| Apr 26, 2018 at 6:27 | comment | added | 2bigpigs | Another one is based more on Inductive Logic Programming. I haven't read this paper yet but since it's written by Stephen Muggleton, I assume it'll be good: pdfs.semanticscholar.org/6a66/… | |
| Apr 26, 2018 at 6:24 | comment | added | 2bigpigs | One approach taken at Microsoft research is through deductive synthesis: microsoft.github.io/prose | |
| Apr 26, 2018 at 3:36 | history | asked | Charlie Parker | CC BY-SA 3.0 |