by Hanchen David Wang, Diego Manzanas Lopez, Preston K. Robinette, Ipek Oguz,
Taylor T. Johnson and Meiyi Ma
Reference:
Hanchen David Wang, Diego Manzanas Lopez, Preston K. Robinette, Ipek Oguz, Taylor T. Johnson and Meiyi Ma, "Towards Verified and Targeted Explanations through Formal Methods", Journal of Artificial Intelligence Research, AAAI Press, vol. 86, 2026.
Bibtex Entry:
@article{wang2026jair,
title = {Towards Verified and Targeted Explanations through Formal Methods},
author = {Hanchen David Wang and Diego Manzanas Lopez and Preston K. Robinette and Ipek Oguz and Taylor T. Johnson and Meiyi Ma},
year = {2026},
month = jul,
journal = {Journal of Artificial Intelligence Research},
volume = {86},
publisher = {AAAI Press},
doi = {10.1613/jair.1.20924},
publabel = {J33},
pubtype = {J},
dblp = {journals/corr/abs-2604-14209},
}