Smart Eye: LLM-Guided Proposer-Verifier Framework for Industrial-Scale Log Anomaly Detection. - Changhua Pei; Hang Cui 004; Jingjing Li; Yuxuan Li; Zihan Liu; Xinyuan Liao; Cenjie Hu; Jiabao Wang; Zheyuan Li; Zexin Wang; Haotian Si; Ke Xiang; et al. (WWW, 2026)