Skip to main content
Open Access Publications from the University of California
search
Menu
About eScholarship
Main Menu
About eScholarship
eScholarship Repository
eScholarship Publishing
Site policies
Terms of Use and Copyright Information
Privacy statement
Campus Sites
Main Menu
UC Berkeley
UC Davis
UC Irvine
UCLA
UC Merced
UC Riverside
UC San Diego
UCSF
UC Santa Barbara
UC Santa Cruz
UC Office of the President
Lawrence Berkeley National Laboratory
UC Agriculture & Natural Resources
UC Open Access Policies
eScholarship Publishing
Scholarly Works (4 results)
Sort By:
Relevance
A-Z By Title
Z-A By Title
A-Z By Author
Z-A By Author
Date Ascending
Date Descending
Article
Peer Reviewed
Probabilistic Program Abstractions.
Holtzen, Steven
;
Millstein, Todd D
;
Broeck, Guy Van den
UCLA Previously Published Works
(2017)
Article
Peer Reviewed
Symbolic Exact Inference for Discrete Probabilistic Programs.
Holtzen, Steven
;
Millstein, Todd D
;
Broeck, Guy Van den
UCLA Previously Published Works
(2019)
Article
Peer Reviewed
Dice: Compiling Discrete Probabilistic Programs for Scalable Inference.
Holtzen, Steven
;
Broeck, Guy Van den
;
Millstein, Todd D
UCLA Previously Published Works
(2020)
Article
Peer Reviewed
Counterexample-Guided Learning of Monotonic Neural Networks.
Sivaraman, Aishwarya
;
Farnadi, Golnoosh
;
Millstein, Todd D
;
Broeck, Guy Van den
UCLA Previously Published Works
(2020)
Top
