Journal: Foundations and Trends in Programming Languages

Volume 7, Issue 4

244 -- 332Marco Bernardo 0001. Probabilistic Trace and Testing Semantics: The Importance of Being Coherent

Volume 7, Issue 3

158 -- 243Swarat Chaudhuri, Kevin Ellis, Oleksandr Polozov, Rishabh Singh, Armando Solar-Lezama, Yisong Yue. Neurosymbolic Programming

Volume 7, Issue 1-2

1 -- 157Aws Albarghouthi. Introduction to Neural Network Verification