activity
20242026
most citedMARE: Multi-Agents Collaboration Framework for Requirements Engineering

7 citations · 8 across the 7 of their papers we have counts for

collaborators
Showing cs.CLShow all

1 paper · 1 filter

cs.CL2025

Enhancing Transformation from Natural Language to Signal Temporal Logic Using LLMs with Diverse External Knowledge

Yue Fang, Zhi Jin, Jie An +3

Temporal Logic (TL), especially Signal Temporal Logic (STL), enables precise formal specification, making it widely used in cyber-physical systems such as autonomous driving and ro…