Academy of Mathematics and Systems Science, CAS
Colloquia & Seminars
| | Speaker: | Prof.Thomas Ehrhard，University Paris Diderot, France
| | Inviter: | | Title:
| Why and how to compute derivatives of probabilistic programs? | Time & Venue:
| 2019.10.28 14:00-15:00 N205 | Abstract:
| Probabilistic programming is becoming more and more important not only to improve the efficiency of algorithms, but also in Bayesian inference and Machine Learning. More than 10 years ago, we have developed the model of probabilistic coherence spaces where probabilistic programs are interpreted as power series with non-negative coefficients and, more recently, we have extended this interpretation to "continuous data types" such as the real line. Such series can be differentiated although probabilistic coherence spaces are not a model of the differential lambda-calculus. We will explain how these derivatives can be defined in the model, give examples of such derivatives and suggest some possible interpretations and applications. | |
| |
优惠券领取后72小时内有效，10万种最新考研考试考证类电子打印资料任你选。涵盖全国500余所院校考研专业课、200多种职业资格考试、1100多种经典教材，产品类型包含电子书、题库、全套资料以及视频，无论您是考研复习、考证刷题，还是考前冲刺等，不同类型的产品可满足您学习上的不同需求。 ...考试优惠券 本站小编 Free壹佰分学习网 2022-09-19