Registered user since Sat 22 Jun 2019
Name:Alexander K. Lew
Country:United States
Affiliation:Yale University
Personal website: http://alexlew.net
Research interests:Probabilistic programming, type systems, probabilistic modeling and inference, AI
Contributions
2026
LAFI
- Co-chair in Program Committee within the LAFI 2026-track
- Nominal Semantics for First-class Automatic Differentiation
- Language-Model Probabilistic Programming for Improving Autoformalization via Cycle Consistency and Incremental Type-Checking
- Sequential Monte Carlo Program Synthesis with Refinement Proposals
- Committee Member in Organizing Committee within the LAFI 2026-track
- Welcome
- Incremental Density Computation for Efficient Programmable Inference
Using general profile