PRISM: Proof-Carrying Artifact Generation through LLM x MDE Synergy and Stratified Constraints. - Tong Ma; Hui Lai; Hui Wang; Zhenhu Tian; Jizhou Wang; Haichao Wu; Yongfan Gao; Chaochao Li; Fengjie Xu; Ling Fang (CoRR, 2025)