Radu Grosu. Neural Programs: Linking Probabilistic and Differential Programming. In Nils Jansen 0001, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll 0001, Tim Quatmann, Mariëlle Stoelinga, Matthias Volk 0001, editors, Principles of Verification: Cycling the Probabilistic Landscape - Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I. Volume 15260 of Lecture Notes in Computer Science, pages 303-321, Springer, 2025. [doi]
Abstract is missing.