Cameron E. Freer
where else to find them
what they talk about
where they keep going back
no series more than once — all 4 in the filters
on a stage with
all 21 in the filters
who talks about the same things
- Younesse Kaddar4 talks
- Jacek Karwowski2 talks
- Hongseok Yang9 talks
- Sam Staton18 talks
- Matin Ghavami5 talks
- Mathieu Huot11 talks
| title | conference | date |
|---|---|---|
| Language-Model Probabilistic Programming for Improving Autoformalization via Cycle(…) | LAFI 2026 | 2026-01-11 |
Proposes a GenLM-based decoder that steers a 70B LLM with two real-valued potentials: incremental type-checking via Lean by affixing dummy conclusions at safe… | ||
| GenSQL: A Probabilistic Programming System for Querying Generative Models of Database(…) | PLDI 2024 | 2024-06-24 |
GenSQL is a SQL extension that runs Bayesian queries over generative table models, provides a unified model API (supports PPLs, GLMs, CTGAN, and a… | ||
| Probabilistic programming interfaces for random graphs: Markov categories, graph... | POPL 2024 | 2024-01-14 |
Proves an equivalence: a well-behaved implementation of an abstract graph type (vertices, new, edge) corresponds exactly to a graphon. Uses Markov categories… | ||
| Three Problems in Computable Probability Theory | Uncertainty in Computation 2016 | 2016-10-04 |
Proves that an exchangeable sequence with a computable law yields a computable mixing measure via effective moment approximations and uniform procedures; shows… | ||
| nothing matches | ||