提出了一种工具增强与过程奖励训练框架REASONSTL,用于将自然语言转换为信号时序逻辑公式,在保障数据隐私与低成本的同时实现了最先进的翻译性能。
机构:上交
来源:arXiv 2605.06483 | AI4Papers 论文推荐平台