~/talks

Xiaoyan Wang

what they talk about

where they keep going back

no series more than once — all 3 in the filters

on a stage with

all 15 in the filters

who talks about the same things

titleconferencedate
Sequential Monte Carlo Program Synthesis with Refinement ProposalsLAFI 20262026-01-11
Extends program synthesis search to include probabilistic programs and evaluates exact marginal likelihood using the PL change named pluck via lazy knowledge…
Talk on
Probabilistic Programming with Vectorized Programmable InferencePOPL 20262026-01-11
GenJAX is a Python-embedded language and compiler that integrates JAX and exposes a vmap vectorization transformation to vectorize probabilistic traces…
Talk on
Probabilistic Programming with Programmable Variational InferencePLDI 20242024-06-24
Proposes a compositional, provably correct route to variational inference that turns user-written model, guide, and objective programs into unbiased gradient…
Talk on
~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.