Neurosymbolic Programming

Swarat Chaudhuri, Kevin Ellis, Oleksandr Polozov, Rishabh Singh, Armando Solar-Lezama, Yisong Yue. Neurosymbolic Programming. Foundations and Trends in Programming Languages, 7(3):158-243, 2021. [doi]

Abstract

Abstract is missing.