Making Proof Quest Effective for An Automated Prover. - Nicodemus Msafiri John Mbwambo (SIGCSE, 2021)

AAEBERT: Debiasing BERT-based Hate Speech Detection Models via Adversarial Learning. - Ebuka Okpala; Long Cheng 005; Nicodemus Msafiri John Mbwambo; Feng Luo 001 (ICMLA, 2022)

Scalable Computing Through Reusability: Encapsulation, Specification, and Verification for a Navigable Tree Position. - Nicodemus Msafiri John Mbwambo; Yu-Shan Sun; Joan Krone; Murali Sitaraman (SAI (1), 2022)