Randone, Francesca (2024) Efficient and Accurate Analysis of Two Classes of Transparent Generative Models. Advisor: Tribastone, Prof. Mirco. Coadvisor: Bortolussi, Prof. Luca . pp. 162. [IMT PhD Thesis]
![[img]](http://e-theses.imtlucca.it/style/images/fileicons/text.png) |
Text (Doctoral thesis)
Randone Francesca_Final_Efficient_and_Accurate_Analysis_of_Two_Classes_of_Transparent_Generative_Models (1).pdf - Published Version Available under License Creative Commons Attribution Non-commercial Share Alike. Download (2MB) |
Abstract
While widely used, generative models pose the challenging task of deriving and analyzing their underlying distribution. In this thesis, we focus on two classes of transparent genera- tive models and present new methods to tackle this task. Markov Population Processes use Continuous Time Markov Chains to describe the evolution of populations over time. Their analysis is often hindered by state-space explosion, tack- led with deterministic approximation or truncation techniques. We propose a method, Dynamic Boundary Projection, that couples an exact stochastic description of a subset of states and a deterministic approximation that dynamically shifts the subset across the state space. The resulting finite set of ODEs is asymptotically exact. We show that our method performs well in terms of accuracy and runtimes on challenging sys- tems. We also propose an extension that further reduces the number of equations while maintaining good accuracy. Probabilistic Programs leverage the power of programming languages to define probabilistic models; however, no one- fit-for-all solution exists to derive the posterior distribution. We define a family of approximating semantics, Gaussian Se- mantics, that leverages moment-matching and the approxi- mation power of Gaussian Mixtures to approximate the joint probability distribution over program variables. As the num- ber of the moments matched increases, Gaussian Semantics tends to the exact semantics. We implement an instance of Gaussian Semantics that matches the first two order moments and show that our implementation performs competitively with respect to other state-of-the-art inference methods and excellently on two classes of models taken from the literature.
| Item Type: | IMT PhD Thesis |
|---|---|
| Subjects: | Q Science > QA Mathematics > QA75 Electronic computers. Computer science |
| PhD Course: | Computer science and systems engineering |
| Identification Number: | https://doi.org/10.13118/imtlucca/e-theses/404 |
| NBN Number: | urn:nbn:it:imtlucca-29889 |
| Date Deposited: | 12 Feb 2024 09:34 |
| URI: | http://e-theses.imtlucca.it/id/eprint/404 |
Actions (login required, only for staff repository)
 |
View Item |
