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á bibliografie

Vydáno v:	IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Technologies Results (Online) s. 11 - 15
Hlavní autoři:	Luo, Weilin, Fang, Weiyuan, Qiu, Junming, Wan, Hai, Liu, Yanan, Ye, Rongzhen
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	ACM 14.04.2024
Témata:	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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!