Showing 2026Show all
3 papers · 1 filter
cs.AI2026
PaperFormalizer: Author-in-the-Loop Autoformalization of Research Papers in Lean
Jiyuan Tan, Vasilis Syrgkanis, Jose Blanchet
Even a carefully proofread paper can leave small gaps in its proofs or its stated assumptions. We introduce PaperFormalizer, a Lean-based agentic pipeline that helps authors find a…
stat.ME2026
Partial Identification of Policy-Relevant Treatment Effects with Instrumental Variables via Optimal Transport
Jiyuan Tan, Jose Blanchet, Vasilis Syrgkanis
Policy-Relevant Treatment Effects (PRTEs) are generally not point-identified under standard Instrumental Variable (IV) assumptions when the instrument generates limited support in…
math.ST2026
Statistical Inference in Causal Partial Identification with Smooth Densities
Sirui Lin, Zijun Gao, Jose Blanchet +1
Many causal quantities are only partially identifiable due to the inherent missingness of potential outcomes, and the associated partial identification (PI) sets can be obtained by…