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:
(PDF preview not available, download PDF instead)
Powered by bibtexbrowser