Dehallucinating Large Language Models Using Formal Methods Guided Iterative Prompting | IEEE Conference Publication | IEEE Xplore