Bit Blasting Probabilistic Programs

Bit Blasting Probabilistic Programs (bibtex)

by Poorva Garg, Steven Holtzen, Guy Van den Broeck and Todd Millstein

Reference:

Poorva Garg, Steven Holtzen, Guy Van den Broeck and Todd Millstein. Bit Blasting Probabilistic Programs, In POPL 2023 Language for Inference Workshop, 2023.

Bibtex Entry:

@inproceedings{GargLAFI23,
  author    = {Garg, Poorva and Holtzen, Steven and Van den Broeck, Guy and Millstein, Todd},
  title     = {Bit Blasting Probabilistic Programs},
  booktitle = {POPL 2023 Language for Inference Workshop},
  month     = jan,
  year      = {2023},
  url       = "http://starai.cs.ucla.edu/papers/GargLAFI23.pdf",
  keywords  = {workshop}
}

PDF Preview: