The FactChecker: Verifying Text Summaries of Relational Data Sets. - Saehan Jo; Immanuel Trummer; Weicheng Yu; Daniel Liu; Niyati Mehta (CoRR, 2018)

Security Enhancing Spatial Modulation Using Antenna Selection and Artificial Noise Cancellation. - Weicheng Yu; Kai Zhang; Pingping Shang; Xue-Qin Jiang 001; Miaowen Wen; Jun Li 036; Han Hai (ICNC, 2019)

Verifying Text Summaries of Relational Data Sets. - Saehan Jo; Immanuel Trummer; Weicheng Yu; Xuezhi Wang 002; Cong Yu 001; Daniel Liu; Niyati Mehta (SIGMOD Conference, 2019)

Secrecy Enhancing Scheme for Spatial Modulation Using Antenna Selection and Artificial Noise. - Pingping Shang; Weicheng Yu; Kai Zhang; Xue-Qin Jiang 001; Sooyoung Kim 001 (Entropy, 2019)

AggChecker: A Fact-Checking System for Text Summaries of Relational Data Sets. - Saehan Jo; Immanuel Trummer; Weicheng Yu; Xuezhi Wang 002; Cong Yu 001; Daniel Liu; Niyati Mehta (Proc. VLDB Endow., 2019)

Is Certifying 𝓁p Robustness Still Worthwhile? - Ravi Mangal; Klas Leino; Zifan Wang 001; Kai Hu; Weicheng Yu; Corina S. Pasareanu; Anupam Datta; Matt Fredrikson (CoRR, 2023)