William X. Cao

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 2

Top Topics

Integer Arithmetic

Top Venues

Publications

William X. Cao, Poorva Garg, Ryan Tjoa, Steven Holtzen, Todd D. Millstein, Guy Van den Broeck
Scaling Integer Arithmetic in Probabilistic Programs. CoRR (2023)
William X. Cao, Poorva Garg, Ryan Tjoa, Steven Holtzen, Todd D. Millstein, Guy Van den Broeck
Scaling integer arithmetic in probabilistic programs. UAI (2023)