Joseph Cotnareanu

According to our database, Joseph Cotnareanu authored at least 5 papers between 2023 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

InnerThoughts: Disentangling Representations and Predictions in Large Language Models.

Didier Chételat, Joseph Cotnareanu, Rylee Thompson, Yingxue Zhang, Mark Coates

Proceedings of the International Conference on Artificial Intelligence and Statistics, 2025

2024

HardCore Generation: Generating Hard UNSAT Problems for Data Augmentation.

Joseph Cotnareanu, Zhanguang Zhang, Hui-Ling Zhen, Yingxue Zhang, Mark Coates

Proceedings of the Advances in Neural Information Processing Systems 38: Annual Conference on Neural Information Processing Systems 2024, 2024

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, Jianye Hao, Mark Coates, Mingxuan Yuan

Proceedings of the 30th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, 2024

2023

Substituting Data Annotation with Balanced Updates and Collective Loss in Multi-label Text Classification.

Muberra Ozmen, Joseph Cotnareanu, Mark Coates

CoRR, 2023

Substituting Data Annotation with Balanced Neighbourhoods and Collective Loss in Multi-label Text Classification.

Muberra Ozmen, Joseph Cotnareanu, Mark Coates

Proceedings of the Conference on Lifelong Learning Agents, 2023