Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Yewen Pu
@inproceedings{DBLP:conf/nips/HuangCPLSG23,
author = {Zhiao Huang and
Feng Chen and
Yewen Pu and
Chunru Lin and
Hao Su and
Chuang Gan},
editor = {Alice Oh and
Tristan Naumann and
Amir Globerson and
Kate Saenko and
Moritz Hardt and
Sergey Levine},
title = {DiffVL: Scaling Up Soft Body Manipulation using Vision-Language Driven
Differentiable Physics},
booktitle = {Advances in Neural Information Processing Systems 36: Annual Conference
on Neural Information Processing Systems 2023, NeurIPS 2023, New Orleans,
LA, USA, December 10 - 16, 2023},
year = {2023},
url = {http://papers.nips.cc/paper\_files/paper/2023/hash/5f5f7b6080dcadced61cf5d96f7c6dde-Abstract-Conference.html},
timestamp = {Fri, 01 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nips/HuangCPLSG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/HuangNHJPWZDGPC23,
author = {Di Huang and
Ziyuan Nan and
Xing Hu and
Pengwei Jin and
Shaohui Peng and
Yuanbo Wen and
Rui Zhang and
Zidong Du and
Qi Guo and
Yewen Pu and
Yunji Chen},
editor = {Alice Oh and
Tristan Naumann and
Amir Globerson and
Kate Saenko and
Moritz Hardt and
Sergey Levine},
title = {{ANPL:} Towards Natural Programming with Interactive Decomposition},
booktitle = {Advances in Neural Information Processing Systems 36: Annual Conference
on Neural Information Processing Systems 2023, NeurIPS 2023, New Orleans,
LA, USA, December 10 - 16, 2023},
year = {2023},
url = {http://papers.nips.cc/paper\_files/paper/2023/hash/dba8fa689ede9e56cbcd4f719def38fb-Abstract-Conference.html},
timestamp = {Fri, 01 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nips/HuangNHJPWZDGPC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-18498,
author = {Di Huang and
Ziyuan Nan and
Xing Hu and
Pengwei Jin and
Shaohui Peng and
Yuanbo Wen and
Rui Zhang and
Zidong Du and
Qi Guo and
Yewen Pu and
Yunji Chen},
title = {{ANPL:} Compiling Natural Programs with Interactive Decomposition},
journal = {CoRR},
volume = {abs/2305.18498},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.18498},
doi = {10.48550/ARXIV.2305.18498},
eprinttype = {arXiv},
eprint = {2305.18498},
timestamp = {Wed, 07 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-18498.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2308-06656,
author = {Priyan Vaithilingam and
Yewen Pu and
Elena L. Glassman},
title = {The Usability of Pragmatic Communication in Regular Expression Synthesis},
journal = {CoRR},
volume = {abs/2308.06656},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2308.06656},
doi = {10.48550/ARXIV.2308.06656},
eprinttype = {arXiv},
eprint = {2308.06656},
timestamp = {Wed, 23 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2308-06656.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2309-03225,
author = {Yewen Pu and
Saujas Vaduguru and
Priyan Vaithilingam and
Elena L. Glassman and
Daniel Fried},
title = {Amortizing Pragmatic Program Synthesis with Rankings},
journal = {CoRR},
volume = {abs/2309.03225},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2309.03225},
doi = {10.48550/ARXIV.2309.03225},
eprinttype = {arXiv},
eprint = {2309.03225},
timestamp = {Tue, 12 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-03225.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2309-05660,
author = {Ruocheng Wang and
Eric Zelikman and
Gabriel Poesia and
Yewen Pu and
Nick Haber and
Noah D. Goodman},
title = {Hypothesis Search: Inductive Reasoning with Language Models},
journal = {CoRR},
volume = {abs/2309.05660},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2309.05660},
doi = {10.48550/ARXIV.2309.05660},
eprinttype = {arXiv},
eprint = {2309.05660},
timestamp = {Fri, 15 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-05660.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-11614,
author = {Leonardo Hernandez Cano and
Yewen Pu and
Robert D. Hawkins and
Joshua B. Tenenbaum and
Armando Solar{-}Lezama},
title = {Learning a Hierarchical Planner from Humans in Multiple Generations},
journal = {CoRR},
volume = {abs/2310.11614},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2310.11614},
doi = {10.48550/ARXIV.2310.11614},
eprinttype = {arXiv},
eprint = {2310.11614},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-11614.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2311-05740,
author = {Saujas Vaduguru and
Daniel Fried and
Yewen Pu},
title = {Generating Pragmatic Examples to Train Neural Program Synthesizers},
journal = {CoRR},
volume = {abs/2311.05740},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2311.05740},
doi = {10.48550/ARXIV.2311.05740},
eprinttype = {arXiv},
eprint = {2311.05740},
timestamp = {Tue, 14 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2311-05740.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2312-06408,
author = {Zhiao Huang and
Feng Chen and
Yewen Pu and
Chunru Lin and
Hao Su and
Chuang Gan},
title = {DiffVL: Scaling Up Soft Body Manipulation using Vision-Language Driven
Differentiable Physics},
journal = {CoRR},
volume = {abs/2312.06408},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2312.06408},
doi = {10.48550/ARXIV.2312.06408},
eprinttype = {arXiv},
eprint = {2312.06408},
timestamp = {Thu, 04 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2312-06408.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emnlp/ShiTYHPFL22,
author = {Ning Shi and
Bin Tang and
Bo Yuan and
Longtao Huang and
Yewen Pu and
Jie Fu and
Zhouhan Lin},
editor = {Yoav Goldberg and
Zornitsa Kozareva and
Yue Zhang},
title = {Text Editing as Imitation Game},
booktitle = {Findings of the Association for Computational Linguistics: {EMNLP}
2022, Abu Dhabi, United Arab Emirates, December 7-11, 2022},
pages = {1583--1594},
publisher = {Association for Computational Linguistics},
year = {2022},
url = {https://doi.org/10.18653/v1/2022.findings-emnlp.114},
doi = {10.18653/V1/2022.FINDINGS-EMNLP.114},
timestamp = {Thu, 10 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/emnlp/ShiTYHPFL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/AcquavivaPKSWEN22,
author = {Samuel Acquaviva and
Yewen Pu and
Marta Kryven and
Theodoros Sechopoulos and
Catherine Wong and
Gabrielle E. Ecanow and
Maxwell I. Nye and
Michael Henry Tessler and
Josh Tenenbaum},
editor = {Sanmi Koyejo and
S. Mohamed and
A. Agarwal and
Danielle Belgrave and
K. Cho and
A. Oh},
title = {Communicating Natural Programs to Humans and Machines},
booktitle = {Advances in Neural Information Processing Systems 35: Annual Conference
on Neural Information Processing Systems 2022, NeurIPS 2022, New Orleans,
LA, USA, November 28 - December 9, 2022},
year = {2022},
url = {http://papers.nips.cc/paper\_files/paper/2022/hash/182aed0379591ebd1d655b2bdc152075-Abstract-Datasets\_and\_Benchmarks.html},
timestamp = {Mon, 08 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nips/AcquavivaPKSWEN22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2204-02495,
author = {Saujas Vaduguru and
Kevin Ellis and
Yewen Pu},
title = {Efficient Pragmatic Program Synthesis with Informative Specifications},
journal = {CoRR},
volume = {abs/2204.02495},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2204.02495},
doi = {10.48550/ARXIV.2204.02495},
eprinttype = {arXiv},
eprint = {2204.02495},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2204-02495.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2210-12276,
author = {Ning Shi and
Bin Tang and
Bo Yuan and
Longtao Huang and
Yewen Pu and
Jie Fu and
Zhouhan Lin},
title = {Text Editing as Imitation Game},
journal = {CoRR},
volume = {abs/2210.12276},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2210.12276},
doi = {10.48550/ARXIV.2210.12276},
eprinttype = {arXiv},
eprint = {2210.12276},
timestamp = {Fri, 28 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2210-12276.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tog/WillisPLCDLSM21,
author = {Karl D. D. Willis and
Yewen Pu and
Jieliang Luo and
Hang Chu and
Tao Du and
Joseph G. Lambourne and
Armando Solar{-}Lezama and
Wojciech Matusik},
title = {Fusion 360 gallery: a dataset and environment for programmatic {CAD}
construction from human design sequences},
journal = {{ACM} Trans. Graph.},
volume = {40},
number = {4},
pages = {54:1--54:24},
year = {2021},
url = {https://doi.org/10.1145/3450626.3459818},
doi = {10.1145/3450626.3459818},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tog/WillisPLCDLSM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cogsci/AcquavivaPNWT021,
author = {Samuel Acquaviva and
Yewen Pu and
Maxwell I. Nye and
Catherine Wong and
Michael Henry Tessler and
Josh Tenenbaum},
editor = {W. Tecumseh Fitch and
Claus Lamm and
Helmut Leder and
Kristin Te{\ss}mar{-}Raible},
title = {{LARC:} Language annotated Abstraction and Reasoning Corpus},
booktitle = {Proceedings of the 43rd Annual Meeting of the Cognitive Science Society,
CogSci 2021, virtual, July 26-29, 2021},
publisher = {cognitivesciencesociety.org},
year = {2021},
url = {https://escholarship.org/uc/item/3r6807ct},
timestamp = {Tue, 30 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cogsci/AcquavivaPNWT021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cogsci/EcanowWAPK021,
author = {Gabrielle E. Ecanow and
Catherine Wong and
Samuel Acquaviva and
Yewen Pu and
Marta Kryven and
Josh Tenenbaum},
editor = {W. Tecumseh Fitch and
Claus Lamm and
Helmut Leder and
Kristin Te{\ss}mar{-}Raible},
title = {Core knowledge objects in reasoning and language use for highly abstract
inductive tasks},
booktitle = {Proceedings of the 43rd Annual Meeting of the Cognitive Science Society,
CogSci 2021, virtual, July 26-29, 2021},
publisher = {cognitivesciencesociety.org},
year = {2021},
url = {https://escholarship.org/uc/item/90f1p4kf},
timestamp = {Tue, 30 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cogsci/EcanowWAPK021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cvpr/WillisJLCP21,
author = {Karl D. D. Willis and
Pradeep Kumar Jayaraman and
Joseph G. Lambourne and
Hang Chu and
Yewen Pu},
title = {Engineering Sketch Generation for Computer-Aided Design},
booktitle = {{IEEE} Conference on Computer Vision and Pattern Recognition Workshops,
{CVPR} Workshops 2021, virtual, June 19-25, 2021},
pages = {2105--2114},
publisher = {Computer Vision Foundation / {IEEE}},
year = {2021},
url = {https://openaccess.thecvf.com/content/CVPR2021W/SketchDL/html/Willis\_Engineering\_Sketch\_Generation\_for\_Computer-Aided\_Design\_CVPRW\_2021\_paper.html},
doi = {10.1109/CVPRW53098.2021.00239},
timestamp = {Mon, 18 Jul 2022 16:47:41 +0200},
biburl = {https://dblp.org/rec/conf/cvpr/WillisJLCP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclr/NyePBATS21,
author = {Maxwell I. Nye and
Yewen Pu and
Matthew Bowers and
Jacob Andreas and
Joshua B. Tenenbaum and
Armando Solar{-}Lezama},
title = {Representing Partial Programs with Blended Abstract Semantics},
booktitle = {9th International Conference on Learning Representations, {ICLR} 2021,
Virtual Event, Austria, May 3-7, 2021},
publisher = {OpenReview.net},
year = {2021},
url = {https://openreview.net/forum?id=mCtadqIxOJ},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclr/NyePBATS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/YangIBPSR21,
author = {Yichen Yang and
Jeevana Priya Inala and
Osbert Bastani and
Yewen Pu and
Armando Solar{-}Lezama and
Martin C. Rinard},
editor = {Marc'Aurelio Ranzato and
Alina Beygelzimer and
Yann N. Dauphin and
Percy Liang and
Jennifer Wortman Vaughan},
title = {Program Synthesis Guided Reinforcement Learning for Partially Observed
Environments},
booktitle = {Advances in Neural Information Processing Systems 34: Annual Conference
on Neural Information Processing Systems 2021, NeurIPS 2021, December
6-14, 2021, virtual},
pages = {29669--29683},
year = {2021},
url = {https://proceedings.neurips.cc/paper/2021/hash/f7e2b2b75b04175610e5a00c1e221ebb-Abstract.html},
timestamp = {Tue, 03 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nips/YangIBPSR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2101-03238,
author = {Jeevana Priya Inala and
Yichen Yang and
James Paulos and
Yewen Pu and
Osbert Bastani and
Vijay Kumar and
Martin C. Rinard and
Armando Solar{-}Lezama},
title = {Neurosymbolic Transformers for Multi-Agent Communication},
journal = {CoRR},
volume = {abs/2101.03238},
year = {2021},
url = {https://arxiv.org/abs/2101.03238},
eprinttype = {arXiv},
eprint = {2101.03238},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2101-03238.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2102-11137,
author = {Yichen Yang and
Jeevana Priya Inala and
Osbert Bastani and
Yewen Pu and
Armando Solar{-}Lezama and
Martin C. Rinard},
title = {Program Synthesis Guided Reinforcement Learning},
journal = {CoRR},
volume = {abs/2102.11137},
year = {2021},
url = {https://arxiv.org/abs/2102.11137},
eprinttype = {arXiv},
eprint = {2102.11137},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2102-11137.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2104-09621,
author = {Karl D. D. Willis and
Pradeep Kumar Jayaraman and
Joseph G. Lambourne and
Hang Chu and
Yewen Pu},
title = {Engineering Sketch Generation for Computer-Aided Design},
journal = {CoRR},
volume = {abs/2104.09621},
year = {2021},
url = {https://arxiv.org/abs/2104.09621},
eprinttype = {arXiv},
eprint = {2104.09621},
timestamp = {Mon, 26 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2104-09621.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2106-07824,
author = {Samuel Acquaviva and
Yewen Pu and
Marta Kryven and
Catherine Wong and
Gabrielle E. Ecanow and
Maxwell I. Nye and
Theodoros Sechopoulos and
Michael Henry Tessler and
Joshua B. Tenenbaum},
title = {Communicating Natural Programs to Humans and Machines},
journal = {CoRR},
volume = {abs/2106.07824},
year = {2021},
url = {https://arxiv.org/abs/2106.07824},
eprinttype = {arXiv},
eprint = {2106.07824},
timestamp = {Tue, 29 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2106-07824.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/Inala0PPB0RS20,
author = {Jeevana Priya Inala and
Yichen Yang and
James Paulos and
Yewen Pu and
Osbert Bastani and
Vijay Kumar and
Martin C. Rinard and
Armando Solar{-}Lezama},
editor = {Hugo Larochelle and
Marc'Aurelio Ranzato and
Raia Hadsell and
Maria{-}Florina Balcan and
Hsuan{-}Tien Lin},
title = {Neurosymbolic Transformers for Multi-Agent Communication},
booktitle = {Advances in Neural Information Processing Systems 33: Annual Conference
on Neural Information Processing Systems 2020, NeurIPS 2020, December
6-12, 2020, virtual},
year = {2020},
url = {https://proceedings.neurips.cc/paper/2020/hash/9d740bd0f36aaa312c8d504e28c42163-Abstract.html},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nips/Inala0PPB0RS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/PuEK0S20,
author = {Yewen Pu and
Kevin Ellis and
Marta Kryven and
Josh Tenenbaum and
Armando Solar{-}Lezama},
editor = {Hugo Larochelle and
Marc'Aurelio Ranzato and
Raia Hadsell and
Maria{-}Florina Balcan and
Hsuan{-}Tien Lin},
title = {Program Synthesis with Pragmatic Communication},
booktitle = {Advances in Neural Information Processing Systems 33: Annual Conference
on Neural Information Processing Systems 2020, NeurIPS 2020, December
6-12, 2020, virtual},
year = {2020},
url = {https://proceedings.neurips.cc/paper/2020/hash/99c83c904d0d64fbef50d919a5c66a80-Abstract.html},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nips/PuEK0S20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-05060,
author = {Yewen Pu and
Kevin Ellis and
Marta Kryven and
Josh Tenenbaum and
Armando Solar{-}Lezama},
title = {Program Synthesis with Pragmatic Communication},
journal = {CoRR},
volume = {abs/2007.05060},
year = {2020},
url = {https://arxiv.org/abs/2007.05060},
eprinttype = {arXiv},
eprint = {2007.05060},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2007-05060.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-02392,
author = {Karl D. D. Willis and
Yewen Pu and
Jieliang Luo and
Hang Chu and
Tao Du and
Joseph G. Lambourne and
Armando Solar{-}Lezama and
Wojciech Matusik},
title = {Fusion 360 Gallery: {A} Dataset and Environment for Programmatic {CAD}
Reconstruction},
journal = {CoRR},
volume = {abs/2010.02392},
year = {2020},
url = {https://arxiv.org/abs/2010.02392},
eprinttype = {arXiv},
eprint = {2010.02392},
timestamp = {Thu, 24 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-02392.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2012-12964,
author = {Maxwell I. Nye and
Yewen Pu and
Matthew Bowers and
Jacob Andreas and
Joshua B. Tenenbaum and
Armando Solar{-}Lezama},
title = {Representing Partial Programs with Blended Abstract Semantics},
journal = {CoRR},
volume = {abs/2012.12964},
year = {2020},
url = {https://arxiv.org/abs/2012.12964},
eprinttype = {arXiv},
eprint = {2012.12964},
timestamp = {Tue, 05 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2012-12964.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/EllisNPSTS19,
author = {Kevin Ellis and
Maxwell I. Nye and
Yewen Pu and
Felix Sosa and
Josh Tenenbaum and
Armando Solar{-}Lezama},
editor = {Hanna M. Wallach and
Hugo Larochelle and
Alina Beygelzimer and
Florence d'Alch{\'{e}}{-}Buc and
Emily B. Fox and
Roman Garnett},
title = {Write, Execute, Assess: Program Synthesis with a {REPL}},
booktitle = {Advances in Neural Information Processing Systems 32: Annual Conference
on Neural Information Processing Systems 2019, NeurIPS 2019, December
8-14, 2019, Vancouver, BC, Canada},
pages = {9165--9174},
year = {2019},
url = {https://proceedings.neurips.cc/paper/2019/hash/50d2d2262762648589b1943078712aa6-Abstract.html},
timestamp = {Mon, 16 May 2022 15:41:51 +0200},
biburl = {https://dblp.org/rec/conf/nips/EllisNPSTS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/MendisYPAC19,
author = {Charith Mendis and
Cambridge Yang and
Yewen Pu and
Saman P. Amarasinghe and
Michael Carbin},
editor = {Hanna M. Wallach and
Hugo Larochelle and
Alina Beygelzimer and
Florence d'Alch{\'{e}}{-}Buc and
Emily B. Fox and
Roman Garnett},
title = {Compiler Auto-Vectorization with Imitation Learning},
booktitle = {Advances in Neural Information Processing Systems 32: Annual Conference
on Neural Information Processing Systems 2019, NeurIPS 2019, December
8-14, 2019, Vancouver, BC, Canada},
pages = {14598--14609},
year = {2019},
url = {https://proceedings.neurips.cc/paper/2019/hash/d1d5923fc822531bbfd9d87d4760914b-Abstract.html},
timestamp = {Thu, 21 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nips/MendisYPAC19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1906-04604,
author = {Kevin Ellis and
Maxwell I. Nye and
Yewen Pu and
Felix Sosa and
Josh Tenenbaum and
Armando Solar{-}Lezama},
title = {Write, Execute, Assess: Program Synthesis with a {REPL}},
journal = {CoRR},
volume = {abs/1906.04604},
year = {2019},
url = {http://arxiv.org/abs/1906.04604},
eprinttype = {arXiv},
eprint = {1906.04604},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1906-04604.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tog/DuIPSSRSM18,
author = {Tao Du and
Jeevana Priya Inala and
Yewen Pu and
Andrew Spielberg and
Adriana Schulz and
Daniela Rus and
Armando Solar{-}Lezama and
Wojciech Matusik},
title = {InverseCSG: automatic conversion of 3D models to {CSG} trees},
journal = {{ACM} Trans. Graph.},
volume = {37},
number = {6},
pages = {213},
year = {2018},
url = {https://doi.org/10.1145/3272127.3275006},
doi = {10.1145/3272127.3275006},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tog/DuIPSSRSM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icml/PuMSK18,
author = {Yewen Pu and
Zachery Miranda and
Armando Solar{-}Lezama and
Leslie Pack Kaelbling},
editor = {Jennifer G. Dy and
Andreas Krause},
title = {Selecting Representative Examples for Program Synthesis},
booktitle = {Proceedings of the 35th International Conference on Machine Learning,
{ICML} 2018, Stockholmsm{\"{a}}ssan, Stockholm, Sweden, July
10-15, 2018},
series = {Proceedings of Machine Learning Research},
volume = {80},
pages = {4158--4167},
publisher = {{PMLR}},
year = {2018},
url = {http://proceedings.mlr.press/v80/pu18b.html},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icml/PuMSK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/BastaniPS18,
author = {Osbert Bastani and
Yewen Pu and
Armando Solar{-}Lezama},
editor = {Samy Bengio and
Hanna M. Wallach and
Hugo Larochelle and
Kristen Grauman and
Nicol{\`{o}} Cesa{-}Bianchi and
Roman Garnett},
title = {Verifiable Reinforcement Learning via Policy Extraction},
booktitle = {Advances in Neural Information Processing Systems 31: Annual Conference
on Neural Information Processing Systems 2018, NeurIPS 2018, December
3-8, 2018, Montr{\'{e}}al, Canada},
pages = {2499--2509},
year = {2018},
url = {https://proceedings.neurips.cc/paper/2018/hash/e6d8545daa42d5ced125a4bf747b3688-Abstract.html},
timestamp = {Mon, 16 May 2022 15:41:51 +0200},
biburl = {https://dblp.org/rec/conf/nips/BastaniPS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1805-08328,
author = {Osbert Bastani and
Yewen Pu and
Armando Solar{-}Lezama},
title = {Verifiable Reinforcement Learning via Policy Extraction},
journal = {CoRR},
volume = {abs/1805.08328},
year = {2018},
url = {http://arxiv.org/abs/1805.08328},
eprinttype = {arXiv},
eprint = {1805.08328},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1805-08328.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uai/PuKS17,
author = {Yewen Pu and
Leslie Pack Kaelbling and
Armando Solar{-}Lezama},
editor = {Gal Elidan and
Kristian Kersting and
Alexander Ihler},
title = {Learning to Acquire Information},
booktitle = {Proceedings of the Thirty-Third Conference on Uncertainty in Artificial
Intelligence, {UAI} 2017, Sydney, Australia, August 11-15, 2017},
publisher = {{AUAI} Press},
year = {2017},
url = {http://auai.org/uai2017/proceedings/papers/237.pdf},
timestamp = {Mon, 05 Dec 2022 15:54:38 +0100},
biburl = {https://dblp.org/rec/conf/uai/PuKS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/PuKS17,
author = {Yewen Pu and
Leslie Pack Kaelbling and
Armando Solar{-}Lezama},
title = {Learning to Acquire Information},
journal = {CoRR},
volume = {abs/1704.06131},
year = {2017},
url = {http://arxiv.org/abs/1704.06131},
eprinttype = {arXiv},
eprint = {1704.06131},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/PuKS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1711-03243,
author = {Yewen Pu and
Zachery Miranda and
Armando Solar{-}Lezama and
Leslie Pack Kaelbling},
title = {Learning to select examples for program synthesis},
journal = {CoRR},
volume = {abs/1711.03243},
year = {2017},
url = {http://arxiv.org/abs/1711.03243},
eprinttype = {arXiv},
eprint = {1711.03243},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1711-03243.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/PuNSB16,
author = {Yewen Pu and
Karthik Narasimhan and
Armando Solar{-}Lezama and
Regina Barzilay},
editor = {Eelco Visser},
title = {sk{\_}p: a neural program corrector for MOOCs},
booktitle = {Companion Proceedings of the 2016 {ACM} {SIGPLAN} International Conference
on Systems, Programming, Languages and Applications: Software for
Humanity, {SPLASH} 2016, Amsterdam, Netherlands, October 30 - November
4, 2016},
pages = {39--40},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2984043.2989222},
doi = {10.1145/2984043.2989222},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/PuNSB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/PuNSB16,
author = {Yewen Pu and
Karthik Narasimhan and
Armando Solar{-}Lezama and
Regina Barzilay},
title = {sk{\_}p: a neural program corrector for MOOCs},
journal = {CoRR},
volume = {abs/1607.02902},
year = {2016},
url = {http://arxiv.org/abs/1607.02902},
eprinttype = {arXiv},
eprint = {1607.02902},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/PuNSB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/KoksalPSBFP13,
author = {Ali Sinan K{\"{o}}ksal and
Yewen Pu and
Saurabh Srivastava and
Rastislav Bod{\'{\i}}k and
Jasmin Fisher and
Nir Piterman},
editor = {Roberto Giacobazzi and
Radhia Cousot},
title = {Synthesis of biological models from mutation experiments},
booktitle = {The 40th Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of
Programming Languages, {POPL} '13, Rome, Italy - January 23 - 25,
2013},
pages = {469--482},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2429069.2429125},
doi = {10.1145/2429069.2429125},
timestamp = {Thu, 24 Jun 2021 16:19:31 +0200},
biburl = {https://dblp.org/rec/conf/popl/KoksalPSBFP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/PuBS11,
author = {Yewen Pu and
Rastislav Bod{\'{\i}}k and
Saurabh Srivastava},
editor = {Cristina Videira Lopes and
Kathleen Fisher},
title = {Synthesis of first-order dynamic programming algorithms},
booktitle = {Proceedings of the 26th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2011,
part of {SPLASH} 2011, Portland, OR, USA, October 22 - 27, 2011},
pages = {83--98},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2048066.2048076},
doi = {10.1145/2048066.2048076},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/PuBS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-05-02 23:58 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
