Login / Signup

Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs.

Alejandro AguirrePhilipp G. HaselwarterMarkus de MedeirosKwing Hei LiSimon Oddershede GregersenJoseph TassarottiLars Birkedal
Published in: CoRR (2024)
Keyphrases