
Registered user since Wed 1 May 2019
Name:Samuel Steffen
Affiliation:ETH Zurich, Switzerland
Personal website:https://www.sri.inf.ethz.ch/people/samuel
Contributions
PLDI 2020 | λPSI: Exact Inference for Higher-Order Probabilistic Programs | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
PLDI 2020-profile
View general profile
View general profile