Fabian Zaiser
Scholar

Fabian Zaiser

Google Scholar ID: Zit-MBEAAAAJ
Research Scientist, MIT
programming languagesprobabilistic programmingformal verification
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
146
 
H-index
5
 
i10-index
4
 
Publications
9
 
Co-authors
6
list available
Contact
No contact links provided.
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
Resume (English only)
Co-authors
6 total
Luke Ong
Luke Ong
Distinguished University Professor, Nanyang Technological University
Co-author 2
Co-author 2
Stefan Hougardy
Stefan Hougardy
Professor of Mathematics, University of Bonn
Co-author 4
Co-author 4
Raven Beutner
Raven Beutner
CISPA Helmholtz Center for Information Security
Co-author 6
Co-author 6