Michele Pagani
where else to find them
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
- Claudia Faggianonce
- Damiano Mazzaonce
- Thomas Ehrhardonce
who talks about the same things
- Damiano Mazza4 talks
- Mathieu Huot11 talks
- Alexey Radul2 talks
- Sam Staton18 talks
- Dominique Devriese17 talks
- Jesse Michel3 talks
| title | conference | date |
|---|---|---|
| The Variable Elimination Algorithm as a Let-Term Rewriting | LAFI 2023 | 2023-01-15 |
Expresses variable elimination for Bayesian networks as let-term linear lambda-calculus rewriting and proves any VE factorization is reachable by four simple… | ||
| Automatic Differentiation in PCF | POPL 2021 | 2021-01-17 |
Proves that automatic differentiation on PCF with reals (higher-order, Turing-complete) is correct except on a Lebesgue-measure-zero set: forward and reverse… | ||
| nothing matches | ||