5 papers
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…
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…
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…
Estimation of Treatment Effects in Extreme and Unobserved Data
Jiyuan Tan, Jose Blanchet, Vasilis Syrgkanis
Causal effect estimation seeks to determine the impact of an intervention from observational data. However, the existing causal inference literature primarily addresses treatment e…
Consistency of Neural Causal Partial Identification
Jiyuan Tan, Jose Blanchet, Vasilis Syrgkanis
Recent progress in Neural Causal Models (NCMs) showcased how identification and partial identification of causal effects can be automatically carried out via training of neural gen…