STL-Bench

深度分析

ReasonSTL：工具輔助本地化 NL→Signal Temporal Logic (STL) 轉譯框架

工程師常以自然語言描述控制或自駕系統需求，卻難直接轉為可執行的訊號時序邏輯。ReasonSTL採本地化工具輔助、多步推理與確定性計算，先正規化時間與單位、再組裝結構化STL。實驗在STL-Bench上展現領先自動與人工驗證效果，並提升隱私可控性。