Ziyan An, Xia Wang, Hendrik Baier, Zirong Chen, Abhishek Dubey, Taylor T. Johnson, Jonathan Sprinkle, Ayan Mukhopadhyay, Meiyi Ma
Proceedings of the 24th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2025) 2025
Extended Abstract
@inproceedings{an2025logiex,
author = {An, Ziyan and Wang, Xia and Baier, Hendrik and Chen, Zirong and Dubey, Abhishek and Johnson, Taylor T. and Sprinkle, Jonathan and Mukhopadhyay, Ayan and Ma, Meiyi},
booktitle = {Proceedings of the 24th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2025)},
title = {LogiEx: Integrating Formal Logic and Large Language Model for Explainable Planning},
year = {2025},
note = {Extended Abstract},
acceptance = {40},
contribution = {colab}
}