实体 STL-Bench

STL-Bench

PulseAugur coverage of STL-Bench — every cluster mentioning STL-Bench across labs, papers, and developer communities, ranked by signal.

总计 · 30天

1

90 天内 1

发布 · 30天

0

90 天内 0

论文 · 30天

1

90 天内 1

层级分布 · 90 天

最近 · 第 1/1 页 · 共 1 条

RESEARCH · CL_22515 · May 7 · 16:07

ReasonSTL框架通过开源LLM将自然语言转换为形式逻辑

研究人员开发了ReasonSTL，一个旨在将自然语言需求转换为信号时序逻辑（STL）公式的新型框架。这种工具增强的方法利用本地开源语言模型进行翻译，解决了与商业LLM API相关的成本和隐私问题。ReasonSTL将过程分解为推理、工具调用和公式构建，并结合了进程奖励训练和一个名为STL-Bench的新基准。