Full Domain Functional Bootstrapping with Least Significant Bit Encoding. - Zhihao Li 001; Benqiang Wei; Ruida Wang; Xianhui Lu; Kunpeng Wang 001 (Inscrypt (1), 2023)

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 (EMNLP (Findings), 2023)

Revisiting Key Switching Techniques with Applications to Light-Key FHE. - Ruida Wang; Zhihao Li 001; Benqiang Wei; Chunling Chen; Xianhui Lu; Kunpeng Wang 001 (ICISC (1), 2023)

Fregata: Faster Homomorphic Evaluation of AES via TFHE. - Benqiang Wei; Ruida Wang; Zhihao Li 001; Qinju Liu; Xianhui Lu (ISC, 2023)

TFHE Bootstrapping: Faster, Smaller and Time-Space Trade-Offs. - Ruida Wang; Benqiang Wei; Zhihao Li 001; Xianhui Lu; Kunpeng Wang 001 (ACISP (1), 2024)

From Signature with Re-randomizable Keys: Generic Construction of PDPKS. - Ziyi Li 002; Ruida Wang; Xianhui Lu; Yao Cheng; Liming Gao (Inscrypt (1), 2024)

DragVideo: Interactive Drag-Style Video Editing. - Yufan Deng; Ruida Wang; Yuhao Zhang; Yu-Wing Tai; Chi-Keung Tang (ECCV (56), 2024)

TheoremLlama: Transforming General-Purpose LLMs into Lean4 Experts. - Ruida Wang; Jipeng Zhang; Yizhen Jia; Rui Pan 002; Shizhe Diao; Renjie Pi; Tong Zhang 001 (EMNLP, 2024)

SR-PredictAO: Session-Based Recommendation with High-Capability Predictor Add-On. - Ruida Wang; Raymond Chi-Wing Wong; Weile Tan (ICDM, 2024)

Efficient Blind Rotation in FHEW Using Refined Decomposition and NTT. - Ying Liu; Zhihao Li 001; Ruida Wang; Xianhui Lu; Kunpeng Wang 001 (ISC (1), 2024)

Free-XOR Gate Bootstrapping. - Chunling Chen; Xianhui Lu; Ruida Wang; Zhihao Li 001; Xuan Shen; Benqiang Wei (IACR Cryptol. ePrint Arch., 2024)

Circuit Bootstrapping: Faster and Smaller. - Ruida Wang; Yundi Wen; Zhihao Li 001; Xianhui Lu; Benqiang Wei; Kun Liu; Kunpeng Wang 001 (IACR Cryptol. ePrint Arch., 2024)

Faster Bootstrapping via Modulus Raising and Composite NTT. - Zhihao Li 001; Ying Liu; Xianhui Lu; Ruida Wang; Benqiang Wei; Chunling Chen; Kunpeng Wang 001 (IACR Trans. Cryptogr. Hardw. Embed. Syst., 2024)

Faster NTRU-based Bootstrapping in less than 4 ms. - Zhihao Li 001; Xianhui Lu; Zhiwei Wang; Ruida Wang; Ying Liu; Yinhang Zheng; Lutan Zhao; Kunpeng Wang 001; Rui Hou 001 (IACR Trans. Cryptogr. Hardw. Embed. Syst., 2024)

Thunderbird: Efficient Homomorphic Evaluation of Symmetric Ciphers in 3GPP by combining two modes of TFHE. - Benqiang Wei; Xianhui Lu; Ruida Wang; Kun Liu; Zhihao Li 001; Kunpeng Wang 001 (IACR Trans. Cryptogr. Hardw. Embed. Syst., 2024)

Key derivable signature and its application in blockchain stealth address. - Ruida Wang; Ziyi Li 002; Xianhui Lu; Zhenfei Zhang; Kunpeng Wang 001 (Cybersecur., 2024)

Refined Error Management for Gate Bootstrapping. - Chunling Chen; Xianhui Lu; Binwu Xiang; Bowen Huang; Ruida Wang; Yijian Liu (ACISP (2), 2025)

Compact Lifting for NTT-Unfriendly Modulus. - Ying Liu; Xianhui Lu; Yu Zhang; Ruida Wang; Ziyao Liu; Kunpeng Wang 001 (ACISP (2), 2025)

A High-Speed 8-bit Single-Channel SAR ADC with Tailored Bit Intervals. - Xinyu Li; Ruida Wang; Mengying Zhang; Congyi Zhu; Zhongfeng Wang 001; Jun Lin 001 (ISCAS, 2025)

Leveled Functional Bootstrapping via External Product Tree. - Zhihao Li 001; Xuan Shen; Xianhui Lu; Ruida Wang; Yuan Zhao; Zhiwei Wang; Benqiang Wei (IACR Cryptol. ePrint Arch., 2025)

PIRCOR: Communication-Optimal Hintless Single-Server PIR via Homomorphic Rotation. - Xue Yang 003; Ruida Wang; Depan Peng; Kun Liu; Xianhui Lu; Xiaohu Tang (IACR Cryptol. ePrint Arch., 2025)

FHE-SNARK vs. SNARK-FHE: From Analysis to Practical Verifiable Computation. - Xinxuan Zhang; Ruida Wang; Zeyu Liu; Binwu Xiang; Yi Deng; Xianhui Lu (IACR Cryptol. ePrint Arch., 2025)

Full domain functional bootstrapping using the prime cyclotomic ring. - Ruida Wang; Xianhui Lu; Yundi Wen; Zhihao Li 001; Benqiang Wei; Kunpeng Wang 001; Lixia Luo (Theor. Comput. Sci., 2025)

MA-LoT: Multi-Agent Lean-based Long Chain-of-Thought Reasoning enhances Formal Theorem Proving. - Ruida Wang; Rui Pan 002; Yuxin Li; Jipeng Zhang; Yizhen Jia; Shizhe Diao; Renjie Pi; Junjie Hu; Tong Zhang 001 (CoRR, 2025)

FANS - Formal Answer Selection for Natural Language Math Reasoning Using Lean4. - Jiarui Yao; Ruida Wang; Tong Zhang (CoRR, 2025)

Let's Reason Formally: Natural-Formal Hybrid Reasoning Enhances LLM's Math Capability. - Ruida Wang; Yuxin Li; Yi R. (May) Fung; Tong Zhang 001 (CoRR, 2025)