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

Full description

Bibliographic Details

Published in:	IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Technologies Results (Online) pp. 11 - 15
Main Authors:	Luo, Weilin, Fang, Weiyuan, Qiu, Junming, Wan, Hai, Liu, Yanan, Ye, Rongzhen
Format:	Conference Proceeding
Language:	English
Published:	ACM 14.04.2024
Subjects:	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 Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!