Continuously reasoning about programs using differential Bayesian inference
Document Details
- Document Type
- Pub Defense Publication
- Publication Date
- Jun 08, 2019
- Source ID
- 10.1145/3314221.3314616
Entities
People
- Kihong Heo
- Mayur Naik
- Mukund Raghothaman
- Xujie Si
Organizations
- Defense Advanced Research Projects Agency
- National Science Foundation
- University of Pennsylvania