TY  - RPRT
TI  - Preguss: It Analyzes, It Specifies, It Verifies
AU  - Zhongyi Wang
AU  - Tengjie Lin
AU  - Mingshuai Chen
AU  - Mingqi Yang
AU  - Haokun Li
AU  - Xiao Yi
AU  - Shengchao Qin
AU  - Jianwei Yin
PY  - 2025
UR  - https://arxiv.org/abs/2508.14532
ID  - 2508.14532
ER  -