1. Rajeev Alur , Rastislav Bodik , Garvit Juniwal , Milo MK Martin , Mukund Raghothaman , Sanjit A Seshia , Rishabh Singh , Armando Solar-Lezama , Emina Torlak , and Abhishek Udupa . 2013. Syntax-guided synthesis . IEEE. Rajeev Alur, Rastislav Bodik, Garvit Juniwal, Milo MK Martin, Mukund Raghothaman, Sanjit A Seshia, Rishabh Singh, Armando Solar-Lezama, Emina Torlak, and Abhishek Udupa. 2013. Syntax-guided synthesis. IEEE.
2. Stavros Antifakos , Nicky Kern , Bernt Schiele , and Adrian Schwaninger . 2005. Towards Improving Trust in Context-Aware Systems by Displaying System Confidence(MobileHCI ’05) . Association for Computing Machinery , New York, NY, USA , 9–14. https://doi.org/10.1145/1085777.1085780 Stavros Antifakos, Nicky Kern, Bernt Schiele, and Adrian Schwaninger. 2005. Towards Improving Trust in Context-Aware Systems by Displaying System Confidence(MobileHCI ’05). Association for Computing Machinery, New York, NY, USA, 9–14. https://doi.org/10.1145/1085777.1085780
3. Jacob Austin Augustus Odena Maxwell Nye Maarten Bosma Henryk Michalewski David Dohan Ellen Jiang Carrie Cai Michael Terry Quoc V. Le and Charles Sutton. 2021. Program Synthesis with Large Language Models. ArXiv abs/2108.07732(2021). Jacob Austin Augustus Odena Maxwell Nye Maarten Bosma Henryk Michalewski David Dohan Ellen Jiang Carrie Cai Michael Terry Quoc V. Le and Charles Sutton. 2021. Program Synthesis with Large Language Models. ArXiv abs/2108.07732(2021).
4. Matej Balog Alexander L. Gaunt Marc Brockschmidt Sebastian Nowozin and Daniel Tarlow. 2017. DeepCoder: Learning to Write Programs. ArXiv abs/1611.01989(2017). Matej Balog Alexander L. Gaunt Marc Brockschmidt Sebastian Nowozin and Daniel Tarlow. 2017. DeepCoder: Learning to Write Programs. ArXiv abs/1611.01989(2017).