Substituting Data Annotation with Balanced Neighbourhoods and Collective Loss in Multi-label Text Classification. - Muberra Ozmen; Joseph Cotnareanu; Mark Coates (CoLLAs, 2023)

Substituting Data Annotation with Balanced Updates and Collective Loss in Multi-label Text Classification. - Muberra Ozmen; Joseph Cotnareanu; Mark Coates (CoRR, 2023)

GraSS: Combining Graph Neural Networks with Expert Knowledge for SAT Solver Selection. - Zhanguang Zhang; Didier Chételat; Joseph Cotnareanu; Amur Ghose; Wenyi Xiao; Hui-Ling Zhen; Yingxue Zhang 001; Jianye Hao; Mark Coates; Mingxuan Yuan (KDD, 2024)

HardCore Generation: Generating Hard UNSAT Problems for Data Augmentation. - Joseph Cotnareanu; Zhanguang Zhang; Hui-Ling Zhen; Yingxue Zhang 001; Mark Coates (NeurIPS, 2024)

InnerThoughts: Disentangling Representations and Predictions in Large Language Models. - Didier Chételat; Joseph Cotnareanu; Rylee Thompson; Yingxue Zhang 001; Mark Coates (AISTATS, 2025)