Kia Rahmani, Mohammad Raza, Sumit Gulwani, Vu Le 0002, Daniel Morris 0001, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari 0001. Multi-modal program inference: a marriage of pre-trained language models and component-based synthesis. Proceedings of the ACM on Programming Languages, 5(OOPSLA):1-29, 2021. [doi]
Abstract is missing.