@misc{indiciae7bc647c27703,
  title = {Formal Model Construction Guided by Model-Based Proof Sketches},
  author = {Hongshu Wang and Xinyue Zuo and Yufan Cai and Neeraj Kumar Singh and Yamine Ait Ameur and Jin Song Dong},
  year = {2026},
  url = {https://arxiv.org/abs/2609.29870},
  note = {Source identifier: 2609.29870}
}