Jinzhao Li

2

Papers

1

Total Citations

Papers (2)

Solving Satisfiability Modulo Counting for Symbolic and Statistical AI Integration with Provable Guarantees

Scene Splatter: Momentum 3D Scene Generation from Single Image with Video Diffusion Model