Fetching the paper…
Reading the bibliography…
We introduce ObSynth, an interactive system leveraging the domain knowledge embedded in large language models (LLMs) to help users design object models from high level natural language prompts.
WordNet: a lexical database for English
George A Miller. 1995 · 1995
Earlier work this paper cites.
Dbpedia: A nucleus for a web of open data
Sören Auer, Christian Bizer, Georgi Kobilarov, Jens Lehmann, Richard Cyganiak, and Zachary Ives. 2007 · 2007
Earlier work this paper cites.
Yago: a core of semantic knowledge. In Proceedings of the 16th international conference on World Wide Web . 697–706
Fabian M Suchanek, Gjergji Kasneci, and Gerhard Weikum. 2007 · 2007
Earlier work this paper cites.
Synthesis through unification. In International Conference on Computer Aided Verification . Springer, 163–179
Rajeev Alur, Pavol Černỳ, and Arjun Radhakrishna. 2015 · 2015
Earlier work this paper cites.
Synthesizing data structure transformations from input-output examples
John K Feser, Swarat Chaudhuri, and Isil Dillig. 2015 · 2015
Earlier work this paper cites.
Type-and-example-directed program synthesis
Peter-Michael Osera and Steve Zdancewic. 2015 · 2015
Earlier work this paper cites.
SWAPPER: A framework for automatic generation of formula simplifiers based on conditional rewrite rules. In 2016 Formal Methods in Computer-Aided Design (FMCAD) . IEEE, 185–192
Rohit Singh and Armando Solar-Lezama. 2016 · 2016
Earlier work this paper cites.
Program synthesis
Sumit Gulwani, Oleksandr Polozov, Rishabh Singh, et al · 2017
Earlier work this paper cites.
Execution-guided neural program synthesis. In International Conference on Learning Representations
Xinyun Chen, Chang Liu, and Dawn Song. 2018 · 2018
Earlier work this paper cites.
Neural program search: Solving data processing tasks from description and examples
Illia Polosukhin and Alexander Skidanov. 2018 · 2018
Earlier work this paper cites.
Learning to infer program sketches. In International Conference on Machine Learning . PMLR, 4861–4870
Maxwell Nye, Luke Hewitt, Joshua Tenenbaum, and Armando Solar-Lezama. 2019 · 2019
Cited alongside, same era.
NLP Questions Answering Using DBpedia and YAGO
Tomasz Boiński, Julian Szymański, Bartłomiej Dudek, Paweł Zalewski, Szymon Dompke, and Maria Czarnecka. 2020 · 2020
Cited alongside, same era.
Language models are few-shot learners
Tom B Brown, Benjamin Mann, Nick Ryder, Melanie Subbiah, Jared Kaplan, Prafulla Dhariwal, Arvind Neelakantan, Pranav Shyam, Girish Sastry, Amanda Askell, et al · 2020
Cited alongside, same era.
Dreamcoder: Growing generalizable, interpretable knowledge with wake-sleep bayesian program learning
Kevin Ellis, Catherine Wong, Maxwell Nye, Mathias Sable-Meyer, Luc Cary, Lucas Morales, Luke Hewitt, Armando Solar-Lezama, and Joshua B Tenenbaum. 2020 · 2020
Cited alongside, same era.
Codebert: A pre-trained model for programming and natural languages
Program synthesis with large language models
Jacob Austin, Augustus Odena, Maxwell Nye, Maarten Bosma, Henryk Michalewski, David Dohan, Ellen Jiang, Carrie Cai, Michael Terry, Quoc Le, et al · 2021
Later among the works it cites.
Neurosymbolic Programming
Swarat Chaudhuri, Kevin Ellis, Oleksandr Polozov, Rishabh Singh, Armando Solar-Lezama, Yisong Yue, et al · 2021
Later among the works it cites.
Evaluating large language models trained on code
Mark Chen, Jerry Tworek, Heewoo Jun, Qiming Yuan, Henrique Ponde de Oliveira Pinto, Jared Kaplan, Harri Edwards, Yuri Burda, Nicholas Joseph, Greg Brockman, et al · 2021
Later among the works it cites.
Natural language-guided programming. In Proceedings of the 2021 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software . 39–55
Geert Heyman, Rafael Huysegems, Pascal Justen, and Tom Van Cutsem. 2021 · 2021
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Zhangyin Feng, Daya Guo, Duyu Tang, Nan Duan, Xiaocheng Feng, Ming Gong, Linjun Shou, Bing Qin, Ting Liu, Daxin Jiang, et al · 2020
Cited alongside, same era.
Synthesize, execute and debug: Learning to repair for neural program synthesis
Kavi Gupta, Peter Ebert Christensen, Xinyun Chen, and Dawn Song. 2020 · 2020
Cited alongside, same era.
Representing partial programs with blended abstract semantics
Maxwell Nye, Yewen Pu, Matthew Bowers, Jacob Andreas, Joshua B Tenenbaum, and Armando Solar-Lezama. 2020a · 2020
Cited alongside, same era.
Learning compositional rules via neural program synthesis
Maxwell Nye, Armando Solar-Lezama, Josh Tenenbaum, and Brenden M Lake. 2020b · 2020
Cited alongside, same era.
Benchmarking multimodal regex synthesis with complex structures
Xi Ye, Qiaochu Chen, Isil Dillig, and Greg Durrett. 2020a · 2020
Cited alongside, same era.
Optimal neural program synthesis from multimodal specifications
Xi Ye, Qiaochu Chen, Isil Dillig, and Greg Durrett. 2020b · 2020
Cited alongside, same era.
Naman Jain, Skanda Vaidyanath, Arun Iyer, Nagarajan Natarajan, Suresh Parthasarathy, Sriram Rajamani, and Rahul Sharma. 2021 · 2021
Later among the works it cites.
Assessing the Impact of Automated Suggestions on Decision Making: Domain Experts Mediate Model Errors but Take Less Initiative. In CHI ’21: CHI Conference on Human Factors in Computing Systems, Virtual Event / Yokohama, Japan, May 8-13, 2021 , Yoshifumi Kitamura, Aaron Quigley, Katherine Isbister, Takeo Igarashi, Pernille Bjørn, and Steven Mark Drucker (Eds.). ACM, 72:1–72:13
Ariel Levy, Monica Agrawal, Arvind Satyanarayan, and David A. Sontag. 2021 · 2021
Later among the works it cites.
Kia Rahmani, Mohammad Raza, Sumit Gulwani, Vu Le, Daniel Morris, Arjun Radhakrishna, Gustavo Soares, and Ashish Tiwari. 2021 · 2021
Later among the works it cites.
Semantic programming by example with pre-trained models
Gust Verbruggen, Vu Le, and Sumit Gulwani. 2021 · 2021
Later among the works it cites.
Leveraging language to learn program abstractions and search heuristics. In International Conference on Machine Learning . PMLR, 11193–11204
Catherine Wong, Kevin M Ellis, Joshua Tenenbaum, and Jacob Andreas. 2021 · 2021
Later among the works it cites.
Competition-level code generation with alphacode
Yujia Li, David Choi, Junyoung Chung, Nate Kushman, Julian Schrittwieser, Rémi Leblond, Tom Eccles, James Keeling, Felix Gimeno, Agustin Dal Lago, et al · 2022
Closest in time.