Scholar
Fabian Zaiser
Google Scholar ID: Zit-MBEAAAAJ
Research Scientist, MIT
programming languages
probabilistic programming
formal verification
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
146
H-index
5
i10-index
4
Publications
9
Co-authors
6
list available
Publications
2 items
Incremental Computation for Efficient Programmable Inference in Probabilistic Programs
2026
Cited
0
Characterizing initial human-AI proof formalization workflows
2026
Cited
0
Co-authors
3 total
Luke Ong
Distinguished University Professor, Nanyang Technological University
Stefan Hougardy
Professor of Mathematics, University of Bonn
Raven Beutner
CISPA Helmholtz Center for Information Security
