Papers by Naijun Zhan
Enhancing Transformation from Natural Language to Signal Temporal Logic Using LLMs with Diverse External Knowledge (2025.findings-acl)
Copied to clipboard
| Challenge: | Temporal Logic (STL) is a formal specification tool for cyber-physical systems . but it is difficult to transform ambiguous and complex data into STL, a paper argues . |
| Approach: | They propose a NL-STL dataset with 16,000 samples enriched with diverse patterns . they propose KGST framework to transform natural language into STL using a generate-then-refine process . |
| Outcome: | The proposed dataset outperforms baseline models in diversity and accuracy . the proposed dataset contains 16,000 samples enriched with diverse patterns . |