conf.researchr.org / Fabian Zaiser
Registered user since Mon 14 Dec 2020
Name:Fabian Zaiser
Affiliation:MIT
Personal website: https://www.fabianzaiser.com
Research interests:Probabilistic Programming, Verification
Contributions
2026
PLDI
LAFI
- Author of Language-Model Probabilistic Programming for Improving Autoformalization via Cycle Consistency and Incremental Type-Checking within the LAFI 2026-track
- Committee Member in Program Committee within the LAFI 2026-track
- Author of Incremental Density Computation for Efficient Programmable Inference within the LAFI 2026-track