Metacognition with Neural Network Verification and Repair using Veritex (bibtex)

by Xiaodong Yang, Tomoya Yamaguchi, Bardh Hoxha, Danil Prokhorov and Taylor T. Johnson

Reference:

Xiaodong Yang, Tomoya Yamaguchi, Bardh Hoxha, Danil Prokhorov and Taylor T. Johnson, "Metacognition with Neural Network Verification and Repair using Veritex", In Metacognitive Artificial Intelligence, Cambridge University Press, pp. 212–228, 2025.

Bibtex Entry:

@inproceedings{yang2025mai,
  title = {Metacognition with Neural Network Verification and Repair using Veritex},
  author = {Xiaodong Yang and Tomoya Yamaguchi and Bardh Hoxha and Danil Prokhorov and Taylor T. Johnson},
  year = {2025},
  month = feb,
  booktitle = {Metacognitive Artificial Intelligence},
  pages = {212--228},
  publisher = {Cambridge University Press},
  doi = {10.1017/9781009522472.019},
  keywords = {neural network verification, neural network repair, metacognitive AI},
  publabel = {BC2},
  pubtype = {BC},
}