Matthijs I. L. Vákár
where else to find them
what they talk about
where they keep going back
on a stage with
all 6 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| NP-NUTS: A Nonparametric No-U-Turn Sampler | LAFI 2025 | 2025-01-19 |
A new algorithm, NP‑NUTS, automatically adapts HMC trajectory length for models whose parameter dimension varies by combining NUTS’s doubling/tree construction… | ||
| Homomorphic Reverse Differentiation of Iteration | LAFI 2024 | 2024-01-14 |
Claims that CHAD applies to partial programs with iteration by moving CHAD into a categorical target (the free completion on the dual of Vect with ωCPO… | ||
| Efficient CHAD | POPL 2024 | 2024-01-14 |
Claims that Combinatory Homomorphic AD (CHAD) can be optimized to achieve the expected reverse‑mode complexity with only constant overhead, backed by an Agda… | ||
| Efficient Dual-Numbers Reverse AD via Well-Known Program Transformations | POPL 2023 | 2023-01-15 |
Presents a semantics-preserving optimization path from naive dual-numbers reverse AD to an implementation with the expected time complexity and a practical… | ||
| nothing matches | ||