firstbacksecondback
10 Results
|
Poster
|
Wed 7:45 |
Automatic Program Synthesis of Long Programs with a Learned Garbage Collector Amit Zohar · Lior Wolf |
|
|
Poster
|
Tue 7:45 |
HOUDINI: Lifelong Learning as Program Synthesis Lazar Valkov · Dipak Chaudhari · Akash Srivastava · Charles Sutton · Swarat Chaudhuri |
|
|
Poster
|
Thu 14:00 |
Learning to Infer Graphics Programs from Hand-Drawn Images Kevin Ellis · Daniel Ritchie · Armando Solar-Lezama · Josh Tenenbaum |
|
|
Poster
|
Tue 7:45 |
Neural Guided Constraint Logic Programming for Program Synthesis Lisa Zhang · Gregory Rosenblatt · Ethan Fetaya · Renjie Liao · William Byrd · Matthew Might · Raquel Urtasun · Richard Zemel |
|
|
Poster
|
Thu 14:00 |
Learning Loop Invariants for Program Verification Xujie Si · Hanjun Dai · Mukund Raghothaman · Mayur Naik · Le Song |
|
|
Spotlight
|
Thu 13:05 |
Learning Libraries of Subroutines for Neurally–Guided Bayesian Program Induction Kevin Ellis · Lucas Morales · Mathias Sablé-Meyer · Armando Solar-Lezama · Josh Tenenbaum |
|
|
Poster
|
Thu 14:00 |
DeepProbLog: Neural Probabilistic Logic Programming Robin Manhaeve · Sebastijan Dumancic · Angelika Kimmig · Thomas Demeester · Luc De Raedt |
|
|
Poster
|
Thu 14:00 |
Learning Libraries of Subroutines for Neurally–Guided Bayesian Program Induction Kevin Ellis · Lucas Morales · Mathias Sablé-Meyer · Armando Solar-Lezama · Josh Tenenbaum |
|
|
Poster
|
Tue 14:00 |
Neural-Symbolic VQA: Disentangling Reasoning from Vision and Language Understanding Kexin Yi · Jiajun Wu · Chuang Gan · Antonio Torralba · Pushmeet Kohli · Josh Tenenbaum |
|
|
Poster
|
Wed 14:00 |
Memory Augmented Policy Optimization for Program Synthesis and Semantic Parsing Chen Liang · Mohammad Norouzi · Jonathan Berant · Quoc V Le · Ni Lao |