Fetching the paper…
Reading the bibliography…
Multi-modal program synthesis refers to the task of synthesizing programs (code) from their specification given in different forms, such as a combination of natural language and examples.
Ablation Studies in Artificial Neural Networks
Richard Meyes, Melanie Lu, Constantin Waubert de Puiseau, and Tobias Meisen. 2019 · 1901
Earlier work this paper cites.
A statistical interpretation of term specificity and its application in retrieval
K. Jones. 1972 · 1972
Earlier work this paper cites.
On the complexity of minimum inference of regular sets
Dana Angluin. 1978 · 1978
Earlier work this paper cites.
Web Data Extraction Using Hybrid Program Synthesis: A Combination of Top-down and Bottom-up Inference. In Proceedings of the 2020 ACM SIGMOD International Conference on Management of Data (SIGMOD ’20) . Association for Computing Machinery, New York, NY, USA, 1967–1978
Mohammad Raza and Sumit Gulwani. 2020 · 1978
Earlier work this paper cites.
Learning Regular Sets from Queries and Counterexamples
Dana Angluin. 1987 · 1987
Earlier work this paper cites.
Mining Association Rules Between Sets of Items in Large Databases. In Proceedings of the 1993 ACM SIGMOD International Conference on Management of Data (SIGMOD ’93) , Vol. 22. ACM, New York, NY, USA, 207–216
R. Agrawal, T. Imielinski, and A. Swami. 1993 · 1993
Earlier work this paper cites.
Dictionary of Algorithms and Data Structures [online]
Paul E. Black. 1999 · 1999
Earlier work this paper cites.
CLOSET: An Efficient Algorithm for Mining Frequent Closed Itemsets.. In ACM SIGMOD Workshop on Research Issues in Data Mining and Knowledge Discovery (2002-01-03). 21–30
Jian Pei, Jiawei Han, and Runying Mao. 2000 · 2002
Earlier work this paper cites.
Program Synthesis by Sketching
Armando Solar-Lezama. 2008 · 2008
Earlier work this paper cites.
Oracle-Guided Component-Based Program Synthesis. In ICSE ’10, May 2-8 2010, Cape Town, South Africa (icse ’10, may 2-8 2010, cape town, south africa ed.)
Susmit Jha, Sumit Gulwani, Sanjit A. Seshia, and Ashish Tiwari. 2010 · 2010
Earlier work this paper cites.
From Program Verification to Program Synthesis. In Proceedings of the 37th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL ’10) . Association for Computing Machinery, New York, NY, USA, 313–326
Saurabh Srivastava, Sumit Gulwani, and Jeffrey S. Foster. 2010 · 2010
Earlier work this paper cites.
Automating String Processing in Spreadsheets using Input-Output Examples. In PoPL’11, January 26-28, 2011, Austin, Texas, USA
Sumit Gulwani. 2011 · 2011
Earlier work this paper cites.
Synthesis of Loop-Free Programs. In Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI ’11) . Association for Computing Machinery, New York, NY, USA, 62–73
Sumit Gulwani, Susmit Jha, Ashish Tiwari, and Ramarathnam Venkatesan. 2011 · 2011
Earlier work this paper cites.
TransRegex: Multi-modal Regular Expression Synthesis by Generate-and-Repair
Yeting Li, Shuaimin Li, Zhiwu Xu, Jialun Cao, Zixuan Chen, Yun Hu, Haiming Chen, and Shing-Chi Cheung. 2020 · 2012
Earlier work this paper cites.
Syntax-guided synthesis. In 2013 Formal Methods in Computer-Aided Design . 1–8
R. Alur, R. Bodik, G. Juniwal, M. M. K. Martin, M. Raghothaman, S. A. Seshia, R. Singh, A. Solar-Lezama, E. Torlak, and A. Udupa. 2013 · 2013
Earlier work this paper cites.
Using Semantic Unification to Generate Regular Expressions from Natural Language. In Proceedings of the 2013 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies . Association for Computational Linguistics, Atlanta, Georgia, 826–836
Nate Kushman and Regina Barzilay. 2013 · 2013
Cited alongside, same era.
SmartSynth: Synthesizing Smartphone Automation Scripts from Natural Language. In MobiSys’13, June 25-28, 2013, Taipei, Taiwan (mobisys’13, june 25-28, 2013, taipei, taiwan ed.)
Vu Le, Sumit Gulwani, and Zhendong Su. 2013 · 2013
Cited alongside, same era.
Integrating programming by example and natural language programming. In Proceedings of the AAAI Conference on Artificial Intelligence , Vol. 27
Mehdi Manshadi, Daniel Gildea, and James Allen. 2013 · 2013
Cited alongside, same era.
NLyze: Interactive Programming by Natural Language for SpreadSheet Data Analysis and Manipulation. In SIGMOD ’14 Proceedings of the 2014 ACM SIGMOD International Conference on Management of Data (sigmod ’14 proceedings of the 2014 acm sigmod international conference on management of data ed.). Association for Computing Machinery, 803–814
Natural Language to Structured Query Generation via Meta-Learning. In Proceedings of the 2018 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, Volume 2 (Short Papers) . Association for Computational Linguistics, New Orleans, Louisiana, 732–738
Po-Sen Huang, Chenglong Wang, Rishabh Singh, Wen-tau Yih, and Xiaodong He. 2018 · 2018
Later among the works it cites.
NL2Bash: A Corpus and Semantic Parser for Natural Language Interface to the Linux Operating System. In Proceedings of the Eleventh International Conference on Language Resources and Evaluation (LREC 2018) . European Language Resources Association (ELRA), Miyazaki, Japan
Xi Victoria Lin, Chenglong Wang, Luke Zettlemoyer, and Michael D. Ernst. 2018 · 2018
Later among the works it cites.
SemRegex: A Semantics-Based Approach for Generating Regular Expressions from Natural Language Specifications. In EMNP’18 . ACL
Zexuan Zhong, Jiaqi Guo, Wei Yang, Jian Peng, Tao Xie, Jian-Guang Lou, Ting Liu, and Dongmei Zhang. 2018 · 2018
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Sumit Gulwani and Mark Marron. 2014 · 2014
Cited alongside, same era.
Synthesis Through Unification. In Computer Aided Verification (CAV)
Rajeev Alur, Pavol Cerny, and Arjun Radhakrishna. 2015 · 2015
Cited alongside, same era.
Compositional Program Synthesis from Natural Language and Examples. In IJCAI 2015 (ijcai 2015 ed.)
Mohammad Raza, Sumit Gulwani, and Natasa Milic-Frayling. 2015 · 2015
Cited alongside, same era.
Synthesizing Regular Expressions from Examples for Introductory Automata Assignments
Mina Lee, Sunbeom So, and Hakjoo Oh. 2016 · 2016
Cited alongside, same era.
Neural Generation of Regular Expressions from Natural Language with Minimal Domain Knowledge. In EMNLP (emnlp ed.)
Nicholas Locascio, Karthik Narasimhan, Eduardo DeLeon, Nate Kushman, and Regina Barzilay. 2016 · 2016
Cited alongside, same era.
Program Synthesis from Polymorphic Refinement Types
Nadia Polikarpova, Ivan Kuraj, and Armando Solar-Lezama. 2016 · 2016
Cited alongside, same era.
Scaling Enumerative Program Synthesis via Divide and Conquer. In Tools and Algorithms for the Construction and Analysis of Systems , Axel Legay and Tiziana Margaria (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 319–336
Rajeev Alur, Arjun Radhakrishna, and Abhishek Udupa. 2017 · 2017
Cited alongside, same era.
DeepCoder: Learning to Write Programs. In Proceedings of ICLR’17 (proceedings of iclr’17 ed.)
Matej Balog, Alexander Gaunt, Marc Brockschmidt, Sebastian Nowozin, and Daniel Tarlow. 2017 · 2017
Cited alongside, same era.
Synthesis with Abstract Examples. In Computer Aided Verification , Rupak Majumdar and Viktor Kunčak (Eds.). Springer International Publishing, Cham, 254–278
Dana Drachsler-Cohen, Sharon Shoham, and Eran Yahav. 2017 · 2017
Cited alongside, same era.
Yanju Chen, Ruben Martins, and Yu Feng. 2019 · 2019
Later among the works it cites.
BERT: Pre-training of Deep Bidirectional Transformers for Language Understanding. In Proceedings of the 2019 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, Volume 1 (Long and Short Papers) . Association for Computational Linguistics, Minneapolis, Minnesota, 4171–4186
Jacob Devlin, Ming-Wei Chang, Kenton Lee, and Kristina Toutanova. 2019 · 2019
Later among the works it cites.
Automatic Repair of Regular Expressions
Rong Pan, Qinheping Hu, Gaowei Xu, and Loris D’Antoni. 2019 · 2019
Later among the works it cites.
Language Models are Few-Shot Learners. In Advances in Neural Information Processing Systems , H. Larochelle, M. Ranzato, R. Hadsell, M. F. Balcan, and H. Lin (Eds.), Vol. 33. Curran Associates, Inc., 1877–1901
Tom Brown, Benjamin Mann, Nick Ryder, Melanie Subbiah, Jared D Kaplan, Prafulla Dhariwal, Arvind Neelakantan, Pranav Shyam, Girish Sastry, Amanda Askell, Sandhini Agarwal, Ariel Herbert-Voss, Gretchen Krueger, Tom Henighan, Rewon Child, Aditya Ramesh, Daniel Ziegler, Jeffrey Wu, Clemens Winter, Chris Hesse, Mark Chen, Eric Sigler, Mateusz Litwin, Scott Gray, Benjamin Chess, Jack Clark, Christopher Berner, Sam McCandlish, Alec Radford, Ilya Sutskever, and Dario Amodei. 2020 · 2020
Later among the works it cites.
Multi-Modal Synthesis of Regular Expressions. In Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2020) . Association for Computing Machinery, New York, NY, USA, 487–502
Qiaochu Chen, Xinyu Wang, Xi Ye, Greg Durrett, and Isil Dillig. 2020 · 2020
Later among the works it cites.
Reconciling Enumerative and Deductive Program Synthesis. In Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2020) . Association for Computing Machinery, New York, NY, USA, 1159–1174
Kangjing Huang, Xiaokang Qiu, Peiyuan Shen, and Yanjun Wang. 2020 · 2020
Later among the works it cites.
CSS Snapshot 2020 [online]
W3C. 2020 · 2020
Later among the works it cites.
RAT-SQL: Relation-Aware Schema Encoding and Linking for Text-to-SQL Parsers. In Proceedings of the 58th Annual Meeting of the Association for Computational Linguistics . Association for Computational Linguistics, Online, 7567–7578
Bailin Wang, Richard Shin, Xiaodong Liu, Oleksandr Polozov, and Matthew Richardson. 2020 · 2020
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, Harrison Edwards, Yuri Burda, Nicholas Joseph, Greg Brockman, Alex Ray, Raul Puri, Gretchen Krueger, Michael Petrov, Heidy Khlaaf, Girish Sastry, Pamela Mishkin, Brooke Chan, Scott Gray, Nick Ryder, Mikhail Pavlov, Alethea Power, Lukasz Kaiser, Mohammad Bavarian, Clemens Winter, Philippe Tillet, Felipe Petroski Such, Dave Cummings, Matthias Plappert, Fotios Chantzis, Elizabeth Barnes, Ariel Herbert-Voss, William Hebgen Guss, Alex Nichol, Alex Paino, Nikolas Tezak, Jie Tang, Igor Babuschkin, Suchir Balaji, Shantanu Jain, William Saunders, Christopher Hesse, Andrew N. Carr, Jan Leike, Joshua Achiam, Vedant Misra, Evan Morikawa, Alec Radford, Matthew Knight, Miles Brundage, Mira Murati, Katie Mayer, Peter Welinder, Bob McGrew, Dario Amodei, Sam McCandlish, Ilya Sutskever, and Wojciech Zaremba. 2021 · 2021
Closest in time.
Measuring Coding Challenge Competence With APPS
Dan Hendrycks, Steven Basart, Saurav Kadavath, Mantas Mazeika, Akul Arora, Ethan Guo, Collin Burns, Samir Puranik, Horace He, Dawn Song, and Jacob Steinhardt. 2021 · 2021
Closest in time.
GPT-3 powers the next generation of apps
OpenAI. 2021 · 2021
Closest in time.