ITG: Trace Generation via Iterative Interaction between LLM Query and Trace Checking

Due to the complexity of linear temporal logic (LTL) trace generation (PSPACE-Complete), existing neural network-based approaches will fail as the formula sizes increase. Recently, large language models (LLMs) have demonstrated remarkable reasoning capabilities, benefiting from efficient training on...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Technologies Results (Online) S. 11 - 15
Hauptverfasser:	Luo, Weilin, Fang, Weiyuan, Qiu, Junming, Wan, Hai, Liu, Yanan, Ye, Rongzhen
Format:	Tagungsbericht
Sprache:	Englisch
Veröffentlicht:	ACM 14.04.2024
Schlagworte:	Accuracy Chatbots Cognition Complexity theory Iterative methods large language model Large language models linear temporal logic Logic satisfiability checking Software engineering Synthetic data trace checking trace generation Training
ISSN:	2832-7632
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!