@misc{indiciaedb0fb15ad34e,
  title = {LiveFMBench: Unveiling the Power and Limits of Agentic Workflows in Specification Generation},
  author = {Dong Xu and Jialun Cao and Guozhao Mo and Junjie Hu and Cheng Wen and Hongyu Lin and Xianpei Han and Shengchao Qin and Cong Tian and Shing-Chi Cheung and Le Sun and Yaojie Lu},
  year = {2026},
  url = {https://arxiv.org/abs/2605.01394},
  note = {Source identifier: 2605.01394}
}