Ayumu Saito
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| An Intrinsically-typed Probabilistic Programming Language in Coq (Extended Abstr... | TyDe 2023 | 2023-09-04 |
Mechanization in Coq of an intrinsically-typed first-order probabilistic language with a denotational semantics that returns measures and proves measurability… | ||
| Semantics of Probabilistic Programs using S-Finite Kernels in Coq | CPP 2023 | 2023-01-16 |
Extends a Coq formalization of measure and integration by adding s-finite kernels to interpret typing judgments for a probabilistic language, and proves key… | ||
| nothing matches | ||