TY - RPRT TI - LiveFMBench: Unveiling the Power and Limits of Agentic Workflows in Specification Generation AU - Dong Xu AU - Jialun Cao AU - Guozhao Mo AU - Junjie Hu AU - Cheng Wen AU - Hongyu Lin AU - Xianpei Han AU - Shengchao Qin AU - Cong Tian AU - Shing-Chi Cheung AU - Le Sun AU - Yaojie Lu PY - 2026 UR - https://arxiv.org/abs/2605.01394 ID - 2605.01394 ER -