Verifiably safe SCUBA diving using commodity sensors: work-in-progress. - Viren Bajaj; Karim Elmaaroufi; Nathan Fulton; André Platzer (EMSOFT Companion, 2019)

LangFair: A Python Package for Assessing Bias and Fairness in Large Language Model Use Cases. - Dylan Bouchard; Mohit Singh Chauhan; David Skarbrevik; Viren Bajaj; Zeya Ahmad (J. Open Source Softw., 2025)

UQLM: A Python Package for Uncertainty Quantification in Large Language Models. - Dylan Bouchard; Mohit Singh Chauhan; David Skarbrevik; Ho-Kyeong Ra; Viren Bajaj; Zeya Ahmad (CoRR, 2025)