Fabian Zaiser

Identifiers

• name variant Fabian Zaiser 0.60 · backfill

Papers (2)

1. Incremental Computation for Efficient Programmable Inference in Probabilistic Programs cs.PL · 2026 · author #1
2. Characterizing initial human-AI proof formalization workflows cs.AI · 2026 · author #7

Mentions

• 2606.05348 #1 · arxiv_oai · confidence 0.70 Fabian Zaiser
• 2606.04273 #7 · arxiv_oai · confidence 0.70 Fabian Zaiser

Frequent Coauthors

• Adrian Weller 1 shared papers
• Alexander K. Lew 1 shared papers
• Cameron E. Freer 1 shared papers
• Ilia Sucholutsky 1 shared papers
• Jack Czenszak 1 shared papers
• Jacob Loader 1 shared papers
• Jeck Lim 1 shared papers
• Jonas Bayer 1 shared papers
• Jose Hernandez-Orallo 1 shared papers
• Joshua B. Tenenbaum 1 shared papers
• Katherine M. Collins 1 shared papers
• Lexin Zhou 1 shared papers
• Martin C. Rinard 1 shared papers
• Peiyang Song 1 shared papers
• Sam Looi 1 shared papers
• Shanda Li 1 shared papers
• Simon Frieder 1 shared papers
• Umang Bhatt 1 shared papers
• Valerie Chen 1 shared papers
• Vikash K. Mansinghka 1 shared papers