1. Rohan Anil Andrew M. Dai Orhan Firat Melvin Johnson Dmitry Lepikhin Alexandre Passos Siamak Shakeri Emanuel Taropa Paige Bailey Zhifeng Chen Eric Chu Jonathan H. Clark Laurent El Shafey Yanping Huang Kathy Meier-Hellstern Gaurav Mishra Erica Moreira Mark Omernick Kevin Robinson Sebastian Ruder Yi Tay Kefan Xiao Yuanzhong Xu Yujing Zhang Gustavo Hernández Ábrego Junwhan Ahn Jacob Austin Paul Barham Jan A. Botha James Bradbury Siddhartha Brahma Kevin Brooks Michele Catasta Yong Cheng Colin Cherry Christopher A. Choquette-Choo Aakanksha Chowdhery Clément Crepy Shachi Dave Mostafa Dehghani Sunipa Dev Jacob Devlin Mark Díaz Nan Du Ethan Dyer Vladimir Feinberg Fangxiaoyu Feng Vlad Fienber Markus Freitag Xavier Garcia Sebastian Gehrmann Lucas Gonzalez and et al. 2023. PaLM 2 Technical Report. CoRR abs/2305.10403 (2023). Rohan Anil Andrew M. Dai Orhan Firat Melvin Johnson Dmitry Lepikhin Alexandre Passos Siamak Shakeri Emanuel Taropa Paige Bailey Zhifeng Chen Eric Chu Jonathan H. Clark Laurent El Shafey Yanping Huang Kathy Meier-Hellstern Gaurav Mishra Erica Moreira Mark Omernick Kevin Robinson Sebastian Ruder Yi Tay Kefan Xiao Yuanzhong Xu Yujing Zhang Gustavo Hernández Ábrego Junwhan Ahn Jacob Austin Paul Barham Jan A. Botha James Bradbury Siddhartha Brahma Kevin Brooks Michele Catasta Yong Cheng Colin Cherry Christopher A. Choquette-Choo Aakanksha Chowdhery Clément Crepy Shachi Dave Mostafa Dehghani Sunipa Dev Jacob Devlin Mark Díaz Nan Du Ethan Dyer Vladimir Feinberg Fangxiaoyu Feng Vlad Fienber Markus Freitag Xavier Garcia Sebastian Gehrmann Lucas Gonzalez and et al. 2023. PaLM 2 Technical Report. CoRR abs/2305.10403 (2023).
2. Jacob Austin , Augustus Odena , Maxwell I. Nye , Maarten Bosma , Henryk Michalewski , David Dohan , Ellen Jiang , Carrie J. Cai , Michael Terry , Quoc V. Le , and Charles Sutton . 2021. Program Synthesis with Large Language Models. CoRR abs/2108.07732 ( 2021 ). Jacob Austin, Augustus Odena, Maxwell I. Nye, Maarten Bosma, Henryk Michalewski, David Dohan, Ellen Jiang, Carrie J. Cai, Michael Terry, Quoc V. Le, and Charles Sutton. 2021. Program Synthesis with Large Language Models. CoRR abs/2108.07732 (2021).
3. John W. Backus Robert J. Beeber Sheldon Best Richard Goldberg Lois M. Haibt Harlan L. Herrick Robert A. Nelson David Sayre Peter B. Sheridan H. Stern Irving Ziller Robert A. Hughes and R. Nutt. 1957. The FORTRAN automatic coding system. In The 1957 western joint computer conference: Techniques for reliability (IRE-AIEE-ACM). John W. Backus Robert J. Beeber Sheldon Best Richard Goldberg Lois M. Haibt Harlan L. Herrick Robert A. Nelson David Sayre Peter B. Sheridan H. Stern Irving Ziller Robert A. Hughes and R. Nutt. 1957. The FORTRAN automatic coding system. In The 1957 western joint computer conference: Techniques for reliability (IRE-AIEE-ACM).
4. Matej Balog , Alexander L. Gaunt , Marc Brockschmidt , Sebastian Nowozin , and Daniel Tarlow . 2017 . DeepCoder: Learning to Write Programs . In Proceedings of 5th International Conference on Learning Representations (ICLR). Matej Balog, Alexander L. Gaunt, Marc Brockschmidt, Sebastian Nowozin, and Daniel Tarlow. 2017. DeepCoder: Learning to Write Programs. In Proceedings of 5th International Conference on Learning Representations (ICLR).
5. A General Approach to Network Configuration Verification