Jianlin Li
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 3 in the filters
on a stage with
- Yizhou Zhang3×
- Eric Wangonce
- Leni Venonce
all 4 in the filters
who talks about the same things
- Yizhou Zhang13 talks
- Steven Holtzen12 talks
- Alexander K. Lew21 talks
- Jack Czenszak4 talks
- Vikash K. Mansinghka24 talks
- Guanyan Li3 talks
| title | conference | date |
|---|---|---|
| Compiling with Generating Functions | ICFP 2025 | 2025-10-12 |
A compiler called Genie compiles probabilistic programs to generating functions as a deterministic target (PIL → DIL) and proves correctness against a… | ||
| Compiling Probabilistic Programs for Variable Elimination with Information Flow | PLDI 2024 | 2024-06-24 |
This paper presents a compiler, Maple, that uses an information-flow type system to partition and eliminate discrete latent variables in recursive… | ||
| Type-Preserving, Dependence-Aware Guide Generation for Sound, Effective Amortize... | POPL 2023 | 2023-01-15 |
An automatic guide synthesizer generates neural-guide programs by a type-preserving, dependence-aware translation that guarantees mutual absolute continuity… | ||
| nothing matches | ||