Browse by UCL people
Group by: Type | Date
Jump to: Proceedings paper | Thesis
Number of items: 2.
Proceedings paper
Dahlqvist, F;
Silva, A;
Smith, W;
(2023)
Deterministic stream-sampling for probabilistic programming: semantics and verification.
In:
2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
IEEE: Boston, MA, USA.
|
Thesis
|
Smith, William Robert;
(2025)
Sampling languages: Semantics and verification of sampling-based inference algorithms for probabilistic programming.
Doctoral thesis (Ph.D), UCL (University College London).
|
