3D Software Synthesis Guided by Constraint-Expressive Intermediate Representation. - Shuqing Li 001; Anson Y. Lam; Yun Peng 003; Wenxuan Wang 001; Michael R. Lyu (CoRR, 2025)