# Continuously reasoning about programs using differential Bayesian inference

> Research article (Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019) · cited 24× · AI/ML

**Wikidata**: [openalex:W2954738632](https://www.wikidata.org/wiki/openalex:W2954738632)  
**Source**: https://4ort.xyz/entity/continuously-reasoning-about-programs-using-differential-bayesian-inference