On 2020-06-14 20:22:41 +0000, Timon Gehr said:
https://pldi20.sigplan.org/details/pldi-2020-papers/46/-PSI-Exact-Inference-for-Higher-Order-Probabilistic-Programs
This one sounds pretty interesting. Will there be a recording and a published paper be available?
-- Robert M. Münch http://www.saphirion.com smarter | better | faster