Maddy Bowers
where else to find them
bluesky:mlbowers.bsky.social
what they talk about
where they keep going back
- LAFI3 editions2024–2026
on a stage with
all 7 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| E-Stitch: Top-Down Library Learning for E-Graphs | EGRAPHS 2026 | 2026-06-15 |
Extends Stitch’s top‑down search to operate over e‑graphs, so rewrites like commutativity are matched rather than missed, and introduces a better lower bound… | ||
| Sequential Monte Carlo Program Synthesis with Refinement Proposals | LAFI 2026 | 2026-01-11 |
Extends program synthesis search to include probabilistic programs and evaluates exact marginal likelihood using the PL change named pluck via lazy knowledge… | ||
| Stochastic Lazy Knowledge Compilation for Inference in Discrete Probabilistic Programs | PLDI 2025 | 2025-06-16 |
Implements lazy knowledge compilation in a Julia tool called Pluck and combines it with sequential Monte Carlo that uses locally‑optimal proposals computed… | ||
| Lazy Knowledge Compilation for Discrete PPLs | LAFI 2025 | 2025-01-19 |
A new variant of knowledge compilation for discrete PPLs uses lazy knowledge compilation to delay compiling subexpressions until forced, and it compiles only… | ||
| Toward Probabilistic Coarse-to-Fine Program Synthesis | LAFI 2024 | 2024-01-14 |
Synthesizes programs by starting with coarse probabilistic programs that use randomness as placeholders, then iteratively refines high-entropy expressions into… | ||
| nothing matches | ||