Keyou Zheng

SPADA: A Verifiable Test-Driven Agent for Controllable Parametric CAD Assembly Generation

Parametric CAD is widely used in mechanical and product engineering, but current generative models still have difficulty producing assemblies that are both editable at the parameter level and consistent with inter-part constraints. Methods that generate meshes or history-free B-rep can represent mul…