TY  - RPRT
TI  - ReasonSTL: Bridging Natural Language and Signal Temporal Logic via Tool-Augmented Process-Rewarded Learning
AU  - Bowen Ye
AU  - Zhijian Li
AU  - Junyue Huang
AU  - Junkai Ma
AU  - Xiang Yin
PY  - 2026
UR  - https://arxiv.org/abs/2605.06483
ID  - 2605.06483
ER  -