@misc{indiciae8b408f2fc10a,
  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},
  url = {https://arxiv.org/abs/2605.06483},
  note = {Source identifier: 2605.06483}
}