A Self-correcting Neuro-symbolic AI Reasoning Framework (bibtex)

by Ben Wooding, Kiersten Brennan, Anne M. Tumlin, Hongchao Zhang and Taylor T. Johnson

Reference:

Ben Wooding, Kiersten Brennan, Anne M. Tumlin, Hongchao Zhang and Taylor T. Johnson, "A Self-correcting Neuro-symbolic AI Reasoning Framework", In 3rd International Symposium on AI Verification (SAIV 2026), Springer, pp. 191–211, 2026.

Bibtex Entry:

@inproceedings{wooding2026saiv,
  title = {A Self-correcting Neuro-symbolic AI Reasoning Framework},
  author = {Ben Wooding and Kiersten Brennan and Anne M. Tumlin and Hongchao Zhang and Taylor T. Johnson},
  year = {2026},
  month = jul,
  booktitle = {3rd International Symposium on AI Verification (SAIV 2026)},
  pages = {191--211},
  publisher = {Springer},
  doi = {10.1007/978-3-032-32357-6_9},
  publabel = {C68},
  pubtype = {C},
}