| 244 | -- | 332 | Marco Bernardo 0001. Probabilistic Trace and Testing Semantics: The Importance of Being Coherent |
| 158 | -- | 243 | Swarat Chaudhuri, Kevin Ellis, Oleksandr Polozov, Rishabh Singh, Armando Solar-Lezama, Yisong Yue. Neurosymbolic Programming |
| 1 | -- | 157 | Aws Albarghouthi. Introduction to Neural Network Verification |