20 citations · 26 across the 5 of their papers we have counts for
5 papers
A data-centric approach for assessing progress of Graph Neural Networks
Tianqi Zhao, Ngan Thi Dong, Alan Hanjalic +1
Graph Neural Networks (GNNs) have achieved state-of-the-art results in node classification tasks. However, most improvements are in multi-class classification, with less focus on t…
Local Search for Solving Satisfiability of Polynomial Formulas
Haokun Li, Bican Xia, Tianqi Zhao
Satisfiability Modulo the Theory of Nonlinear Real Arithmetic, SMT(NRA) for short, concerns the satisfiability of polynomial formulas, which are quantifier-free Boolean combination…
Isolating Bounded and Unbounded Real Roots of a Mixed Trigonometric-Polynomial
Rizeng Chen, Haokun Li, Bican Xia +2
Mixed trigonometric-polynomials (MTPs) are functions of the form with . In this paper, an algorithm ``isolating" all the real r…
ECG Heartbeat classification using deep transfer learning with Convolutional Neural Network and STFT technique
Minh Cao, Tianqi Zhao, Yanxun Li +3
Electrocardiogram (ECG) is a simple non-invasive measure to identify heart-related issues such as irregular heartbeats known as arrhythmias. While artificial intelligence and machi…
A General Framework for Robust Testing and Confidence Regions in High-Dimensional Quantile Regression
Tianqi Zhao, Mladen Kolar, Han Liu
We propose a robust inferential procedure for assessing uncertainties of parameter estimation in high-dimensional linear models, where the dimension can grow exponentially fast…