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...

Celý popis

Podrobná bibliografia

Vydané v:	IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Technologies Results (Online) s. 11 - 15
Hlavní autori:	Luo, Weilin, Fang, Weiyuan, Qiu, Junming, Wan, Hai, Liu, Yanan, Ye, Rongzhen
Médium:	Konferenčný príspevok..
Jazyk:	English
Vydavateľské údaje:	ACM 14.04.2024
Predmet:	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
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!