Search Results for author: Joseph Cotnareanu

Found 2 papers, 0 papers with code

GraSS: Combining Graph Neural Networks with Expert Knowledge for SAT Solver Selection

no code implementations17 May 2024 Zhanguang Zhang, Didier Chetelat, Joseph Cotnareanu, Amur Ghose, Wenyi Xiao, Hui-Ling Zhen, Yingxue Zhang, Jianye Hao, Mark Coates, Mingxuan Yuan

In this paper we present GraSS, a novel approach for automatic SAT solver selection based on tripartite graph representations of instances and a heterogeneous graph neural network (GNN) model.

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

no code implementations24 Sep 2023 Muberra Ozmen, Joseph Cotnareanu, Mark Coates

Multi-label text classification (MLTC) is the task of assigning multiple labels to a given text, and has a wide range of application domains.

Language Modelling Multi Label Text Classification +3

Cannot find the paper you are looking for? You can Submit a new open access paper.