Li, Jinzhao

4 publications

CVPR 2025 Scene Splatter: Momentum 3D Scene Generation from Single Image with Video Diffusion Model Shengjun Zhang, Jinzhao Li, Xin Fei, Hao Liu, Yueqi Duan

ICML 2025 Solving Satisfiability Modulo Counting Exactly with Probabilistic Circuits Jinzhao Li, Nan Jiang, Yexiang Xue

AAAI 2024 Solving Satisfiability Modulo Counting for Symbolic and Statistical AI Integration with Provable Guarantees Jinzhao Li, Nan Jiang, Yexiang Xue

NeurIPSW 2023 Solving Satisfiability Modulo Counting Problems in Computational Sustainability with Guarantees Jinzhao Li, Nan Jiang, Yexiang Xue