Login / Signup
Joseph Cotnareanu
Publication Activity (10 Years)
Years Active: 2023-2024
Publications (10 Years): 4
Top Topics
Text Classification
Sat Solvers
Propositional Satisfiability
Multi Label
Top Venues
CoRR
KDD
CoLLAs
</>
Publications
</>
Zhanguang Zhang
,
Didier Chételat
,
Joseph Cotnareanu
,
Amur Ghose
,
Wenyi Xiao
,
Hui-Ling Zhen
,
Yingxue Zhang
,
Jianye Hao
,
Mark Coates
,
Mingxuan Yuan
GraSS: Combining Graph Neural Networks with Expert Knowledge for SAT Solver Selection.
KDD
(2024)
Zhanguang Zhang
,
Didier Chételat
,
Joseph Cotnareanu
,
Amur Ghose
,
Wenyi Xiao
,
Hui-Ling Zhen
,
Yingxue Zhang
,
Jianye Hao
,
Mark Coates
,
Mingxuan Yuan
GraSS: Combining Graph Neural Networks with Expert Knowledge for SAT Solver Selection.
CoRR
(2024)
Muberra Ozmen
,
Joseph Cotnareanu
,
Mark Coates
Substituting Data Annotation with Balanced Updates and Collective Loss in Multi-label Text Classification.
CoRR
(2023)
Muberra Ozmen
,
Joseph Cotnareanu
,
Mark Coates
Substituting Data Annotation with Balanced Neighbourhoods and Collective Loss in Multi-label Text Classification.
CoLLAs
(2023)