TY  - RPRT
TI  - Formal Model Construction Guided by Model-Based Proof Sketches
AU  - Hongshu Wang
AU  - Xinyue Zuo
AU  - Yufan Cai
AU  - Neeraj Kumar Singh
AU  - Yamine Ait Ameur
AU  - Jin Song Dong
PY  - 2026
UR  - https://arxiv.org/abs/2609.29870
ID  - 2609.29870
ER  -