Luisa Collodi
where else to find them
no profile links on file
what they talk about
where they keep going back
- VMCAI2 editions2023–2024
on a stage with
- Michele Borealeonce
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Guaranteed inference for probabilistic programs: a parallelisable, small-step o... | VMCAI 2024 | 2024-01-15 |
Presents a small-step operational semantics for probabilistic programs using a product of Markov kernels, handling mixed discrete/continuous distributions… | ||
| Bayesian parameter estimation with guarantees via interval analysis and simulat... | VMCAI 2023 | 2023-01-15 |
Method computes provable Bayesian posterior estimates for models y = f(θ) + h(ψ) (covers noisy ODE parameters and neural-network f) by combining P-boxes… | ||
| nothing matches | ||