Xujie Si

3
Papers
5
Total Citations

Papers (3)

Decoupling Training-Free Guided Diffusion by ADMM

CVPR 2025
3
citations

TypyBench: Evaluating LLM Type Inference for Untyped Python Repositories

ICML 2025
2
citations

Autoformalizing Euclidean Geometry

ICML 2024
0
citations