activity
20102023
most citedLearning to Detect Malicious Clients for Robust Federated Learning

187 citations · 301 across the 16 of their papers we have counts for

collaborators

16 papers

cs.CV2023★ 1 cited

Cross-Domain Product Representation Learning for Rich-Content E-Commerce

Xuehan Bai, Yan Li, Yanhua Cheng +3

The proliferation of short video and live-streaming platforms has revolutionized how consumers engage in online shopping. Instead of browsing product pages, consumers are now turni…

math.LO2023★ 4 cited

On the relationships between some meta-mathematical properties of arithmetical theories

Yong Cheng

In this work, we aim at understanding incompleteness in an abstract way via metamathematical properties of formal theories. We systematically examine the relationships between the…

cs.CV2023

ReBaR: Reference-Based Reasoning for Robust Pose Estimation from Monocular Images

Yongkang Cheng, Mingjiang Liang, Jifeng Ning +3

R}easoning for Robust Human Pose and Shape Estimation), designed to estimate human body shape and pose from single-view images. ReBaR effectively addresses the challenges of occlus…

math.LO2022★ 2 cited

There are no minimal effectively inseparable theories

Yong Cheng

This paper belongs to the research on the limit of the first incompleteness theorem. Effectively inseparable theories (EI) can be viewed as an effective version of essentially unde…

math.LO2022★ 4 cited

Effective inseparability and some applications in meta-mathematics

Yong Cheng

Effectively inseparable pairs and their properties play an important role in the meta-mathematics of arithmetic and incompleteness. Different notions are introduced and shown in th…

cs.LG2020★ 187 cited

Learning to Detect Malicious Clients for Robust Federated Learning

Suyi Li, Yong Cheng, Wei Wang +2

Federated learning systems are vulnerable to attacks from malicious clients. As the central server in the system cannot govern the behaviors of the clients, a rogue client may init…

cs.LG2019★ 58 cited

A Communication Efficient Collaborative Learning Framework for Distributed Features

Yang Liu, Yan Kang, Xinwei Zhang +5

We introduce a collaborative learning framework allowing multiple parties having different sets of attributes about the same user to jointly build models without exposing their raw…

math.LO2018★ 1 cited

The Hypothesis and a supercompact cardinal

Yong Cheng

In this paper, we prove that: if is supercompact and the Hypothesis holds, then there is a proper class of regular cardinals in which are measurable in $\m…

math.LO2015★ 1 cited

The strong reflecting property and Harrington's Principle

Yong Cheng

In this paper we characterize the strong reflecting property for -cardinals for all , characterize Harrington's Principle and its generalization and discuss the rel…

math.LO2015★ 11 cited

Harrington's principle over higher order arithmetic

Yong Cheng, Ralf Schindler

Let , , and denote , , and order arithmetic, respectively. We let Harrington's Principle, {\sf HP}, denote the statement that t…

math.LO2014

Indestructibility properties of remarkable cardinals

Yong Cheng, Victoria Gitman

Remarkable cardinals were introduced by Schindler, who showed that the existence of a remarkable cardinal is equiconsistent with the assertion that the theory of is…

math.LO2014

Large cardinals need not be large in HOD

Yong Cheng, Sy-David Friedman, Joel David Hamkins

We prove that large cardinals need not generally exhibit their large cardinal nature in HOD. For example, a supercompact cardinal need not be weakly compact in HOD, and there c…

math.LO2014★ 1 cited

Force a set model of + Harrington's Principle

Yong Cheng

Let denote order arithmetic. Let Harrington's Principle, HP, denote the statement that there is a real such that every --admissible ordinal is a cardinal in $…

cs.IT2011★ 21 cited

Distributive Network Utility Maximization (NUM) over Time-Varying Fading Channels

Junting Chen, Vincent K. N. Lau, Yong Cheng

Distributed network utility maximization (NUM) has received an increasing intensity of interest over the past few years. Distributed solutions (e.g., the primal-dual gradient metho…

cs.IT2010

A Scalable Limited Feedback Design for Network MIMO using Per-Cell Product Codebook

Yong Cheng, Vincent K. N. Lau, Yi Long

In network MIMO systems, channel state information is required at the transmitter side to multiplex users in the spatial domain. Since perfect channel knowledge is difficult to obt…

cs.IT2010★ 10 cited

Distributive Power Control Algorithm for Multicarrier Interference Network over Time-Varying Fading Channels - Tracking Performance Analysis and Optimization

Yong Cheng, Vincent K. N. Lau

Distributed power control over interference limited network has received an increasing intensity of interest over the past few years. Distributed solutions (like the iterative wate…