2 papers
cs.AI2025
Combining LLMs with Logic-Based Framework to Explain MCTS
Ziyan An, Xia Wang, Hendrik Baier +6
In response to the lack of trust in Artificial Intelligence (AI) for sequential planning, we design a Computational Tree Logic-guided large language model (LLM)-based natural langu…
cs.AI2023
Robustness Verification for Knowledge-Based Logic of Risky Driving Scenes
Xia Wang, Anda Liang, Jonathan Sprinkle +1
Many decision-making scenarios in modern life benefit from the decision support of artificial intelligence algorithms, which focus on a data-driven philosophy and automated program…