@article{reasonstlbridgingnaturallanguageandsigna,
  title = {ReasonSTL: Bridging Natural Language and Signal Temporal Logic via Tool-Augmented Process-Rewarded Learning},
  author = {Bowen Ye and Zhijian Li and Junyue Huang and Junkai Ma and Xiang Yin},
  year = {2026},
  eprint = {2605.06483},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2605.06483},
}