@misc{indiciaef99149cd0f88,
  title = {Preguss: It Analyzes, It Specifies, It Verifies},
  author = {Zhongyi Wang and Tengjie Lin and Mingshuai Chen and Mingqi Yang and Haokun Li and Xiao Yi and Shengchao Qin and Jianwei Yin},
  year = {2025},
  url = {https://arxiv.org/abs/2508.14532},
  note = {Source identifier: 2508.14532}
}