@techreport {pub5621,
	title = {Generating consistent PDDL domains with Large Language Models},
	author = {Pavel Smirnov AND Frank Joublin AND Antonello Ceravola AND Michael Gienger},
	year = {2024},
	month = {December},
	abstract = {In this paper we address the problem of automated PDDL-domains generation using state-of-art LLMs minimizing human involvement into the loop. We detect and classify types of syntactic and consistency mistakes LLM tends to do and propose an integrated approach for detecting and resolving them in automated manner. Efficiency of the approach in terms of number of mistakes detected/resolved and reduced generation time we demonstrate on a number of scenarios - classic domains: logistics, tyrechange and two custom ones: household, mojito cocktail.  },
	publisher = {Arxiv},
	url = {https://arxiv.org/pdf/2404.07751},
	howpublished = {arxiv},
	booktitle = {arXiv}
}