Scaling Integer Arithmetic in Probabilistic Programs

Scaling Integer Arithmetic in Probabilistic Programs (bibtex)

by William X. Cao, Poorva Garg, Ryan Tjoa, Steven Holtzen, Todd Millstein and Guy Van den Broeck

Reference:

William X. Cao, Poorva Garg, Ryan Tjoa, Steven Holtzen, Todd Millstein and Guy Van den Broeck. Scaling Integer Arithmetic in Probabilistic Programs, In Proceedings of the 39th Conference on Uncertainty in Artificial Intelligence (UAI), 2023.

Bibtex Entry:

@inproceedings{CaoUAI23,
  title         = {Scaling Integer Arithmetic in Probabilistic Programs},
  author        = {Cao, William X. and Garg, Poorva and Tjoa, Ryan and Holtzen, Steven and Millstein, Todd and Van den Broeck, Guy},
  booktitle     = {Proceedings of the 39th Conference on Uncertainty in Artificial Intelligence (UAI)},
  month         = {jul},
  year          = {2023},
  url           = "http://starai.cs.ucla.edu/papers/CaoUAI23.pdf",
  keywords      = {conference,selective}
}

PDF Preview: