Expertini Research Research

Browse Research Papers

1,330+ open-access research outputs.

✕ Clear
🔍 chenggui yao 📂 Computer Science
Showing 1330 results for "chenggui yao" in Computer Science
Computer Science Preprint PDF DOI

Strongly Refuting Random CSP without Literals

Siu On Chan, Tommaso d'Orsi, Jeff Xu · 2026

Under what condition is a random constraint satisfaction problem hard to refute by the sum-of-squares (SoS) algorithm? A sufficient condition is t-wise uniformity, that is, each constraint has a t-wis…

Read Paper →
Computer Science Preprint PDF DOI

Truthful-in-Expectation Mechanisms for MMS Approximation

Moshe Babaioff, Uriel Feige, Noam Manaker Morag · 2026

We study fair allocation of indivisible goods among strategic agents with additive valuations. Motivated by impossibility results for deterministic truthful mechanisms, we focus on randomized mechanis…

Read Paper →
Computer Science Preprint PDF DOI

Hot Fixing in the Wild

Carol Hanna, Karine Even-Mendoza, W.B. Langdon, Mar Zamorano Lopez, Justyna Petke, Federica Sarro · 2026

Despite the operational importance of hot fixes, large-scale evidence on how they reshape routine maintenance workflows, particularly in the era of autonomous coding agents, remains limited. We analys…

Read Paper →
Computer Science Preprint PDF DOI

The Blahut--Arimoto Algorithm as a Dynamical System with Exact $\chi^2$ Dissipation

Qiao Wang · 2026

This paper uncovers an exact $\chi^2$ dissipation identity for the Blahut--Arimoto (BA) flow and establishes its fundamental information-geometric structure. While prior works have analyzed BA converg…

Read Paper →
Computer Science Preprint PDF DOI

On the Centralization of Governance Power in Decentralized Autonomous Organizations

Vabuk Pahari, Balakrishnan Chandrasekaran, Johnnatan Messias, Krishna P. Gummadi, Abhisek Dash · 2026

A decentralized autonomous organization (DAO) is a governing entity that empowers its stakeholders (i.e., users who hold one or more of its tokens) to manage blockchain-based protocols (i.e., smart co…

Read Paper →
Computer Science Preprint PDF DOI

Sensing-Assisted Secure Communication in MA-Aided ISAC: CRB Analysis and Robust Design

Yaxuan Chen, Guangchi Zhang, Miao Cui, Hao Fu, Qingqing Wu, Rui Zhang · 2026

A core challenge in physical-layer security is the difficulty of obtaining the channel state information (CSI) of potential eavesdroppers. The inherent sensing functionality of integrated sensing and …

Read Paper →
Computer Science Preprint PDF DOI

Single-Source Shortest Paths and Almost Exact Diameter in Pseudodisk Graphs

Mark de Berg, Bart M.P. Jansen, Jeroen S.K. Lamme · 2026

We study SINGLE-SOURCE SHORTEST PATH (SSSP) on unweighted intersection graphs whose node set corresponds to a set of $n$ constant-complexity objects in the plane. We prove SSSP can be solved in $O(U(n…

Read Paper →
Computer Science Preprint PDF DOI

Gamma-Distributed Geometric Constellation for ISAC: Design and Analysis

Amirhossein Keshavarzchafjiri, Janith K. Dassanayake, Gayan A. Aruma Baduge, Mojtaba Vaezi · 2026

A novel Gamma-distributed geometric constellation design framework for integrated sensing and communication (ISAC) is proposed in this paper. In this framework, constellation points are modeled as sam…

Read Paper →
Computer Science Preprint PDF DOI

Multi-User ISAC with Heterogeneous Unknown Parameters: Optimal Beamforming based on Distribution Information

Chan Xu, Shuowen Zhang · 2026

This paper studies an integrated sensing and communication (ISAC) system where a multi-antenna base station (BS) communicates with multiple single-antenna users in the downlink and senses the unknown …

Read Paper →
Computer Science Preprint PDF DOI

Robust Beamforming for MIMO Radar with Imperfect Prior Distribution Information

Yizhuo Wang, Shuowen Zhang · 2026

This paper studies a multiple-input multiple-output (MIMO) radar system for sensing the unknown and random angular location (angle) of a point target, based on the target-reflected echo signals and kn…

Read Paper →
Computer Science Preprint PDF DOI

Downlink Channel Matrix Estimation from PMI-Only Feedback in FDD Systems: Maximum Likelihood and Sharp Excess Risk Bound

Jinchi Chen, Mingxi Hu, Peigang Jiang, Xin Meng, Ke Wei, Xianyin Zhang · 2026

We study downlink channel estimation in a frequency-division duplex (FDD) massive MIMO system from PMI-only feedback under a 5G NR-type limited-feedback architecture. In this architecture, the user se…

Read Paper →
Computer Science Preprint PDF DOI

Cluster Vertex Deletion on Chordal Graphs

Yixin Cao, Peng Li · 2026

We present a polynomial-time algorithm for the cluster vertex deletion problem on chordal graphs, resolving an open question posed in different contexts by Cao et al. [Theoretical Computer Science, 20…

Read Paper →
Computer Science Preprint PDF DOI

Parity Tests with Ties

Ron Kupfer · 2026

We extend the Ting--Yao randomized maximum-finding algorithm [TY94] to inputs that need not be pairwise distinct: each parity test $P(i,B)=\prod_{a\in B}(x_i-x_a):0$ on $B\subseteq[n]\setminus\{i\}$ i…

Read Paper →
Computer Science Preprint PDF DOI

Breaking Euston: Recovering Private Inputs from Secure Inference by Exploiting Subspace Leakage

Jiaqi Zhao, Fengwei Wang · 2026

In the 47th IEEE Symposium on Security and Privacy (IEEE S&P 2026), Gao et al. proposed an efficient and user-friendly secure transformer inference framework, namely Euston. In Euston, a singular valu…

Read Paper →
Computer Science Preprint PDF DOI

Graded Symbolic Verification with a Fuzzy Dolev-Yao Attacker Model

Murat Moran · 2026

Classical symbolic protocol verification under Dolev--Yao uses binary attacker knowledge (known/unknown). This abstraction misses cumulative side-channel settings, where repeated noisy observations pr…

Read Paper →
Computer Science Preprint PDF DOI

Efficient Fuzzy Private Set Intersection from Secret-shared OPRF

Xinpeng Yang, Meng Hao, Chenkai Weng, Robert H. Deng, Yonggang Wen, Tianwei Zhang · 2026

Private set intersection (PSI) enables a sender holding a set $Q$ of size $m$ and a receiver holding a set $W$ of size $n$ to securely compute the intersection $Q \cap W$. Fuzzy PSI (FPSI) is a PSI va…

Read Paper →
Computer Science Preprint PDF DOI

AITH: A Post-Quantum Continuous Delegation Protocol for Human-AI Trust Establishment

Zhaoliang Chen · 2026

The rapid deployment of AI agents acting autonomously on behalf of human principals has outpaced the development of cryptographic protocols for establishing, bounding, and revoking human-AI trust rela…

Read Paper →
Computer Science Preprint PDF DOI

The Theorems of Dr. David Blackwell and Their Contributions to Artificial Intelligence

Napoleon Paxton · 2026

Dr. David Blackwell was a mathematician and statistician of the first rank, whose contributions to statistical theory, game theory, and decision theory predated many of the algorithmic breakthroughs t…

Read Paper →
Computer Science Preprint PDF DOI

Near-Field Integrated Sensing, Computing and Semantic Communication in Digital Twin-Assisted Vehicular Networks

Yinchao Yang, Yahao Ding, Jiaxiang Wang, Zhaohui Yang, Chen Zhu, Zhaoyang Zhang, Dusit Niyato, Mohammad Shikh-Bahaei · 2026

Digital twin (DT) technology offers transformative potential for vehicular networks, enabling high-fidelity virtual representations for enhanced safety and automation. However, seamless DT synchroniza…

Read Paper →
Computer Science Preprint PDF DOI

DAO to (Anonymous) DAO Transactions

Minfeng Qi, Lin Zhong, Qin Wang · 2026

Blockchain assets are increasingly controlled by organizations rather than individuals. DAO treasuries, consortium wallets, and custodial exchanges rely on threshold authorization and multi-party key …

Read Paper →
Page 1 of 67 Next →