We gratefully acknowledge support from
the Simons Foundation and member institutions.

No authors of 2504.01294 can endorse.

Extracting Formal Specifications from Documents Using LLMs for Automated Testing

Hui Li: Is registered as an author of this paper.
Not currently an endorser. (why?)

Zhen Dong, Siao Wang, Hui Zhang, Liwei Shen, Xin Peng and Dongdong She are not registered as owners of this paper. (why?)