2nd IEEE International Conference on Assured Autonomy (IEEE ICAA) Conference

Publications

related documents

Dehallucinating Large Language Models Using Formal Methods Guided Iterative Prompting Conference Proceeding