Ruida Wang

According to our database, Ruida Wang authored at least 34 papers between 2023 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Lean4Physics: Comprehensive Reasoning Framework for College-level Physics in Lean4.

Yuxin Li, Minghao Liu, Ruida Wang, Wenzhao Ji, Zhitao He, Rui Pan, Junming Huang, Tong Zhang, Yi R. Fung

CoRR, October, 2025

GAR: Generative Adversarial Reinforcement Learning for Formal Theorem Proving.

Ruida Wang, Jiarui Yao, Rui Pan, Shizhe Diao, Tong Zhang

CoRR, October, 2025

Generalizable Geometric Image Caption Synthesis.

Yue Xin, Wenyuan Wang, Rui Pan, Ruida Wang, Howard Meng, Renjie Pi, Shizhe Diao, Tong Zhang

CoRR, September, 2025

Let's Reason Formally: Natural-Formal Hybrid Reasoning Enhances LLM's Math Capability.

Ruida Wang, Yuxin Li, Yi R. (May) Fung, Tong Zhang

CoRR, May, 2025

FANS - Formal Answer Selection for Natural Language Math Reasoning Using Lean4.

Jiarui Yao, Ruida Wang, Tong Zhang

CoRR, March, 2025

MA-LoT: Multi-Agent 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

CoRR, March, 2025

Full domain functional bootstrapping using the prime cyclotomic ring.

Ruida Wang, Xianhui Lu, Yundi Wen, Zhihao Li, Benqiang Wei, Kunpeng Wang, Lixia Luo

Theor. Comput. Sci., 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

PIRCOR: Communication-Optimal Hintless Single-Server PIR via Homomorphic Rotation.

Xue Yang, Ruida Wang, Depan Peng, Kun Liu, Xianhui Lu, Xiaohu Tang

IACR Cryptol. ePrint Arch., 2025

Tetris: Versatile TFHE LUT and Its Application to FHE Instruction Set Architecture.

Ruida Wang, Jikang Bai, Xuan Shen, Xianhui Lu, Zhihao Li, Binwu Xiang, Zhiwei Wang, Hongyu Wang, Lutan Zhao, Kunpeng Wang, Rui Hou

IACR Cryptol. ePrint Arch., 2025

Bootstrapping over Free ℛ-Module.

Ruida Wang, Jikang Bai, Yijian Liu, Xinxuan Zhang, Xianhui Lu, Lutan Zhao, Kunpeng Wang, Rui Hou

IACR Cryptol. ePrint Arch., 2025

Leveled Functional Bootstrapping via External Product Tree.

Zhihao Li, Xuan Shen, Xianhui Lu, Ruida Wang, Yuan Zhao, Zhiwei Wang, Benqiang Wei

IACR Cryptol. ePrint Arch., 2025

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

Proceedings of the IEEE International Symposium on Circuits and Systems, 2025

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

Proceedings of the Forty-second International Conference on Machine Learning, 2025

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

Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security, 2025

Refined TFHE Leveled Homomorphic Evaluation and Its Application.

Ruida Wang, Jincheol Ha, Xuan Shen, Xianhui Lu, Chunling Chen, Kunpeng Wang, Jooyoung Lee

Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security, 2025

Compact Lifting for NTT-Unfriendly Modulus.

Ying Liu, Xianhui Lu, Yu Zhang, Ruida Wang, Ziyao Liu, Kunpeng Wang

Proceedings of the Information Security and Privacy - 30th Australasian Conference, 2025

Refined Error Management for Gate Bootstrapping.

Chunling Chen, Xianhui Lu, Binwu Xiang, Bowen Huang, Ruida Wang, Yijian Liu

Proceedings of the Information Security and Privacy - 30th Australasian Conference, 2025

2024

Key derivable signature and its application in blockchain stealth address.

Ruida Wang, Ziyi Li, Xianhui Lu, Zhenfei Zhang, Kunpeng Wang

Cybersecur., December, 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, Kunpeng Wang

IACR Trans. Cryptogr. Hardw. Embed. Syst., 2024

Faster NTRU-based Bootstrapping in less than 4 ms.

Zhihao Li, Xianhui Lu, Zhiwei Wang, Ruida Wang, Ying Liu, Yinhang Zheng, Lutan Zhao, Kunpeng Wang, Rui Hou

IACR Trans. Cryptogr. Hardw. Embed. Syst., 2024

Faster Bootstrapping via Modulus Raising and Composite NTT.

Zhihao Li, Ying Liu, Xianhui Lu, Ruida Wang, Benqiang Wei, Chunling Chen, Kunpeng Wang

IACR Trans. Cryptogr. Hardw. Embed. Syst., 2024

Free-XOR Gate Bootstrapping.

Chunling Chen, Xianhui Lu, Ruida Wang, Zhihao Li, Xuan Shen, Benqiang Wei

IACR Cryptol. ePrint Arch., 2024

Efficient Blind Rotation in FHEW Using Refined Decomposition and NTT.

Ying Liu, Zhihao Li, Ruida Wang, Xianhui Lu, Kunpeng Wang

Proceedings of the Information Security - 27th International Conference, 2024

SR-PredictAO: Session-Based Recommendation with High-Capability Predictor Add-On.

Ruida Wang, Raymond Chi-Wing Wong, Weile Tan

Proceedings of the IEEE International Conference on Data Mining, 2024

Circuit Bootstrapping: Faster and Smaller.

Ruida Wang, Yundi Wen, Zhihao Li, Xianhui Lu, Benqiang Wei, Kun Liu, Kunpeng Wang

Proceedings of the Advances in Cryptology - EUROCRYPT 2024, 2024

TheoremLlama: Transforming General-Purpose LLMs into Lean4 Experts.

Ruida Wang, Jipeng Zhang, Yizhen Jia, Rui Pan, Shizhe Diao, Renjie Pi, Tong Zhang

Proceedings of the 2024 Conference on Empirical Methods in Natural Language Processing, 2024

DragVideo: Interactive Drag-Style Video Editing.

Yufan Deng, Ruida Wang, Yuhao Zhang, Yu-Wing Tai, Chi-Keung Tang

Proceedings of the Computer Vision - ECCV 2024, 2024

From Signature with Re-randomizable Keys: Generic Construction of PDPKS.

Ziyi Li, Ruida Wang, Xianhui Lu, Yao Cheng, Liming Gao

Proceedings of the Information Security and Cryptology - 20th International Conference, 2024

TFHE Bootstrapping: Faster, Smaller and Time-Space Trade-Offs.

Ruida Wang, Benqiang Wei, Zhihao Li, Xianhui Lu, Kunpeng Wang

Proceedings of the Information Security and Privacy - 29th Australasian Conference, 2024

2023

Fregata: Faster Homomorphic Evaluation of AES via TFHE.

Benqiang Wei, Ruida Wang, Zhihao Li, Qinju Liu, Xianhui Lu

Proceedings of the Information Security - 26th International Conference, 2023

Revisiting Key Switching Techniques with Applications to Light-Key FHE.

Ruida Wang, Zhihao Li, Benqiang Wei, Chunling Chen, Xianhui Lu, Kunpeng Wang

Proceedings of the Information Security and Cryptology - ICISC 2023, 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

Proceedings of the Findings of the Association for Computational Linguistics: EMNLP 2023, 2023

Full Domain Functional Bootstrapping with Least Significant Bit Encoding.

Zhihao Li, Benqiang Wei, Ruida Wang, Xianhui Lu, Kunpeng Wang

Proceedings of the Information Security and Cryptology - 19th International Conference, 2023