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

Tags

Technology Areas

  • AI & ML
  • AI & ML - Bayesian Inference