| 2026 | AsiaCCS | Sub-Millisecond Gate Bootstrapping. | Chunling Chen, Zhihao Li, Qingyun Niu, Xianhui Lu, Ruida Wang, Lutan Zhao, Rui Hou |
| 2026 | EACL | GRAFF: GRaph-Augmented Fine-grained Fusion for Large Language Models. | Himanshu Chaudhary, Ruida Wang, Gowtham Ramesh, Junjie Hu |
| 2025 | ACISP | Refined Error Management for Gate Bootstrapping. | Chunling Chen, Xianhui Lu, Binwu Xiang, Bowen Huang, Ruida Wang, Yijian Liu |
| 2025 | ACISP | Compact Lifting for NTT-Unfriendly Modulus. | Ying Liu, Xianhui Lu, Yu Zhang, Ruida Wang, Ziyao Liu, Kunpeng Wang |
| 2025 | CCS | Refined TFHE Leveled Homomorphic Evaluation and Its Application. | Ruida Wang, Jincheol Ha, Xuan Shen, Xianhui Lu, Chunling Chen, Kunpeng Wang, Jooyoung Lee |
| 2025 | CCS | Phalanx: An FHE-Friendly SNARK for Verifiable Computation on Encrypted Data. | Xinxuan Zhang, Ruida Wang, Zeyu Liu, Binwu Xiang, Yi Deng, Ben Fisch, Xianhui Lu |
| 2025 | EMNLP | Let's Reason Formally: Natural-Formal Hybrid Reasoning Enhances LLM's Math Capability. | Ruida Wang, Yuxin Li, Yi R. Fung, Tong Zhang |
| 2025 | EMNLP | FANS: Formal Answer Selection for LLM Natural Language Math Reasoning Using Lean4. | Jiarui Yao, Ruida Wang, Tong Zhang |
| 2025 | ICML | MA-LoT: Model-Collaboration Lean-based Long Chain-of-Thought Reasoning enhances Formal Theorem Proving. | Ruida Wang, Rui Pan, Yuxin Li, Jipeng Zhang, Yizhen Jia, Shizhe Diao, Renjie Pi, Junjie Hu, Tong Zhang |
| 2025 | ISCAS | A High-Speed 8-bit Single-Channel SAR ADC with Tailored Bit Intervals. | Xinyu Li, Ruida Wang, Mengying Zhang, Congyi Zhu, Zhongfeng Wang, Jun Lin |
| 2024 | ACISP | TFHE Bootstrapping: Faster, Smaller and Time-Space Trade-Offs. | Ruida Wang, Benqiang Wei, Zhihao Li, Xianhui Lu, Kunpeng Wang |
| 2024 | ECCV | DragVideo: Interactive Drag-Style Video Editing. | Yufan Deng, Ruida Wang, Yuhao Zhang, Yu-Wing Tai, Chi-Keung Tang |
| 2024 | EMNLP | TheoremLlama: Transforming General-Purpose LLMs into Lean4 Experts. | Ruida Wang, Jipeng Zhang, Yizhen Jia, Rui Pan, Shizhe Diao, Renjie Pi, Tong Zhang |
| 2024 | EuroCrypt | Circuit Bootstrapping: Faster and Smaller. | Ruida Wang, Yundi Wen, Zhihao Li, Xianhui Lu, Benqiang Wei, Kun Liu, Kunpeng Wang |
| 2024 | ICDM | SR-PredictAO: Session-Based Recommendation with High-Capability Predictor Add-On. | Ruida Wang, Raymond Chi-Wing Wong, Weile Tan |
| 2023 | EMNLP | Let's Synthesize Step by Step: Iterative Dataset Synthesis with Large Language Models by Extrapolating Errors from Small Models. | Ruida Wang, Wangchunshu Zhou, Mrinmaya Sachan |
| 2023 | ICISC | Revisiting Key Switching Techniques with Applications to Light-Key FHE. | Ruida Wang, Zhihao Li, Benqiang Wei, Chunling Chen, Xianhui Lu, Kunpeng Wang |