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 , Association for Computing Machinery, 2024.

Bibtex Entry:

@inproceedings{GargPLDI24,
  title		= {Bit Blasting Probabilistic Programs},
  author 	= {Garg, Poorva and Holtzen, Steven and Van den Broeck, Guy and Millstein, Todd},
  journal 	= {Proc. ACM Program. Lang. (PLDI)},
  publisher 	= {Association for Computing Machinery},
  doi 		= {https://doi.org/10.1145/3656412},
  month 	= {jun},
  year		= {2024},
  url		= "http://starai.cs.ucla.edu/papers/GargPLDI24.pdf",
  code		= "https://github.com/Tractables/Dice.jl/tree/hybit",
  keywords 	= {conference, selective}
}

PDF Preview: