Ruida Wang

46 papers A* 7C 2Journal 25Unranked 12
YearRankTypeTitle / Venue / Authors
2026 — conf
GRAFF: GRaph-Augmented Fine-grained Fusion for Large Language Models.
EACL (Findings)
Himanshu Chaudhary, Ruida Wang, Gowtham Ramesh, Junjie Hu
2026 J jnl
PRL: Process Reward Learning Improves LLMs' Reasoning Ability and Broadens the Reasoning Boundary.
CoRR
Jiarui Yao, Ruida Wang, Tong Zhang
2026 J jnl
PhysProver: Advancing Automatic Theorem Proving for Physics.
CoRR
Hanning Zhang, Ruida Wang, Rui Pan, Wenyuan Wang, BingXu Meng, Tong Zhang
2026 J jnl
Reliability Assessment and Maintenance Policy of Polygonal
Qual. Reliab. Eng. Int.
Ruida Wang, Hao Lyu, Murat Ozkut
2025 C conf
A High-Speed 8-bit Single-Channel SAR ADC with Tailored Bit Intervals.
ISCAS
Xinyu Li, Ruida Wang, Mengying Zhang, Congyi Zhu, Zhongfeng Wang, Jun Lin
2025 J jnl
Bootstrapping over Free ℛ-Module.
IACR Cryptol. ePrint Arch.
Ruida Wang, Jikang Bai, Yijian Liu, Xinxuan Zhang, Xianhui Lu, Lutan Zhao, Kunpeng Wang, Rui Hou
2025 — conf
Compact Lifting for NTT-Unfriendly Modulus.
ACISP (2)
Ying Liu, Xianhui Lu, Yu Zhang, Ruida Wang, Ziyao Liu, Kunpeng Wang
2025 J jnl
FANS - Formal Answer Selection for Natural Language Math Reasoning Using Lean4.
CoRR
Jiarui Yao, Ruida Wang, Tong Zhang
2025 A* conf
FANS: Formal Answer Selection for LLM Natural Language Math Reasoning Using Lean4.
EMNLP
Jiarui Yao, Ruida Wang, Tong Zhang
2025 — conf
FH-TEE: Single Enclave for All Applications.
Inscrypt (3)
Jikang Bai, Ruida Wang, Xianhui Lu, Chunling Chen, Kunpeng Wang
2025 J jnl
FHE-SNARK vs. SNARK-FHE: From Analysis to Practical Verifiable Computation.
IACR Cryptol. ePrint Arch.
Xinxuan Zhang, Ruida Wang, Zeyu Liu, Binwu Xiang, Yi Deng, Xianhui Lu
2025 J jnl
Full domain functional bootstrapping using the prime cyclotomic ring.
Theor. Comput. Sci.
Ruida Wang, Xianhui Lu, Yundi Wen, Zhihao Li, Benqiang Wei, Kunpeng Wang, Lixia Luo
2025 J jnl
GAR: Generative Adversarial Reinforcement Learning for Formal Theorem Proving.
CoRR
Ruida Wang, Jiarui Yao, Rui Pan, Shizhe Diao, Tong Zhang
2025 J jnl
Generalizable Geometric Image Caption Synthesis.
CoRR
Yue Xin, Wenyuan Wang, Rui Pan, Ruida Wang, Howard Meng, Renjie Pi, Shizhe Diao, Tong Zhang
2025 J jnl
Lean4Physics: Comprehensive Reasoning Framework for College-level Physics in Lean4.
CoRR
Yuxin Li, Minghao Liu, Ruida Wang, Wenzhao Ji, Zhitao He, Rui Pan, Junming Huang, Tong Zhang, Yi R. Fung
2025 A* conf
Let's Reason Formally: Natural-Formal Hybrid Reasoning Enhances LLM's Math Capability.
EMNLP
Ruida Wang, Yuxin Li, Yi R. Fung, Tong Zhang
2025 J jnl
Let's Reason Formally: Natural-Formal Hybrid Reasoning Enhances LLM's Math Capability.
CoRR
Ruida Wang, Yuxin Li, Yi R. (May) Fung, Tong Zhang
2025 J jnl
Leveled Functional Bootstrapping via External Product Tree.
IACR Cryptol. ePrint Arch.
Zhihao Li, Xuan Shen, Xianhui Lu, Ruida Wang, Yuan Zhao, Zhiwei Wang, Benqiang Wei
2025 A* conf
MA-LoT: Model-Collaboration Lean-based Long Chain-of-Thought Reasoning enhances Formal Theorem Proving.
ICML
Ruida Wang, Rui Pan, Yuxin Li, Jipeng Zhang, Yizhen Jia, Shizhe Diao, Renjie Pi, Junjie Hu, Tong Zhang
2025 J jnl
MA-LoT: Multi-Agent Lean-based Long Chain-of-Thought Reasoning enhances Formal Theorem Proving.
CoRR
Ruida Wang, Rui Pan, Yuxin Li, Jipeng Zhang, Yizhen Jia, Shizhe Diao, Renjie Pi, Junjie Hu, Tong Zhang
2025 J jnl
PIRCOR: Communication-Optimal Hintless Single-Server PIR via Homomorphic Rotation.
IACR Cryptol. ePrint Arch.
Xue Yang, Ruida Wang, Depan Peng, Kun Liu, Xianhui Lu, Xiaohu Tang
2025 A* conf
Phalanx: An FHE-Friendly SNARK for Verifiable Computation on Encrypted Data.
CCS
Xinxuan Zhang, Ruida Wang, Zeyu Liu, Binwu Xiang, Yi Deng, Ben Fisch, Xianhui Lu
2025 — conf
Refined Error Management for Gate Bootstrapping.
ACISP (2)
Chunling Chen, Xianhui Lu, Binwu Xiang, Bowen Huang, Ruida Wang, Yijian Liu
2025 A* conf
Refined TFHE Leveled Homomorphic Evaluation and Its Application.
CCS
Ruida Wang, Jincheol Ha, Xuan Shen, Xianhui Lu, Chunling Chen, Kunpeng Wang, Jooyoung Lee
2025 J jnl
Tetris: Versatile TFHE LUT and Its Application to FHE Instruction Set Architecture.
IACR Cryptol. ePrint Arch.
Ruida Wang, Jikang Bai, Xuan Shen, Xianhui Lu, Zhihao Li, Binwu Xiang, Zhiwei Wang, Hongyu Wang, Lutan Zhao, Kunpeng Wang, Rui Hou
2024 — conf
Circuit Bootstrapping: Faster and Smaller.
EUROCRYPT (2)
Ruida Wang, Yundi Wen, Zhihao Li, Xianhui Lu, Benqiang Wei, Kun Liu, Kunpeng Wang
2024 J jnl
Circuit Bootstrapping: Faster and Smaller.
IACR Cryptol. ePrint Arch.
Ruida Wang, Yundi Wen, Zhihao Li, Xianhui Lu, Benqiang Wei, Kun Liu, Kunpeng Wang
2024 — conf
DragVideo: Interactive Drag-Style Video Editing.
ECCV (56)
Yufan Deng, Ruida Wang, Yuhao Zhang, Yu-Wing Tai, Chi-Keung Tang
2024 — conf
Efficient Blind Rotation in FHEW Using Refined Decomposition and NTT.
ISC (1)
Ying Liu, Zhihao Li, Ruida Wang, Xianhui Lu, Kunpeng Wang
2024 J jnl
Faster Bootstrapping via Modulus Raising and Composite NTT.
IACR Trans. Cryptogr. Hardw. Embed. Syst.
Zhihao Li, Ying Liu, Xianhui Lu, Ruida Wang, Benqiang Wei, Chunling Chen, Kunpeng Wang
2024 J jnl
Faster NTRU-based Bootstrapping in less than 4 ms.
IACR Trans. Cryptogr. Hardw. Embed. Syst.
Zhihao Li, Xianhui Lu, Zhiwei Wang, Ruida Wang, Ying Liu, Yinhang Zheng, Lutan Zhao, Kunpeng Wang, Rui Hou
2024 J jnl
Free-XOR Gate Bootstrapping.
IACR Cryptol. ePrint Arch.
Chunling Chen, Xianhui Lu, Ruida Wang, Zhihao Li, Xuan Shen, Benqiang Wei
2024 — conf
From Signature with Re-randomizable Keys: Generic Construction of PDPKS.
Inscrypt (1)
Ziyi Li, Ruida Wang, Xianhui Lu, Yao Cheng, Liming Gao
2024 J jnl
Key derivable signature and its application in blockchain stealth address.
Cybersecur.
Ruida Wang, Ziyi Li, Xianhui Lu, Zhenfei Zhang, Kunpeng Wang
2024 A* conf
SR-PredictAO: Session-Based Recommendation with High-Capability Predictor Add-On.
ICDM
Ruida Wang, Raymond Chi-Wing Wong, Weile Tan
2024 — conf
TFHE Bootstrapping: Faster, Smaller and Time-Space Trade-Offs.
ACISP (1)
Ruida Wang, Benqiang Wei, Zhihao Li, Xianhui Lu, Kunpeng Wang
2024 A* conf
TheoremLlama: Transforming General-Purpose LLMs into Lean4 Experts.
EMNLP
Ruida Wang, Jipeng Zhang, Yizhen Jia, Rui Pan, Shizhe Diao, Renjie Pi, Tong Zhang
2024 J jnl
TheoremLlama: Transforming General-Purpose LLMs into Lean4 Experts.
CoRR
Ruida Wang, Jipeng Zhang, Yizhen Jia, Rui Pan, Shizhe Diao, Renjie Pi, Tong Zhang
2024 J jnl
Thunderbird: Efficient Homomorphic Evaluation of Symmetric Ciphers in 3GPP by combining two modes of TFHE.
IACR Trans. Cryptogr. Hardw. Embed. Syst.
Benqiang Wei, Xianhui Lu, Ruida Wang, Kun Liu, Zhihao Li, Kunpeng Wang
2023 J jnl
DragVideo: Interactive Drag-style Video Editing.
CoRR
Yufan Deng, Ruida Wang, Yuhao Zhang, Yu-Wing Tai, Chi-Keung Tang
2023 C conf
Fregata: Faster Homomorphic Evaluation of AES via TFHE.
ISC
Benqiang Wei, Ruida Wang, Zhihao Li, Qinju Liu, Xianhui Lu
2023 — conf
Full Domain Functional Bootstrapping with Least Significant Bit Encoding.
Inscrypt (1)
Zhihao Li, Benqiang Wei, Ruida Wang, Xianhui Lu, Kunpeng Wang
2023 — conf
Let's Synthesize Step by Step: Iterative Dataset Synthesis with Large Language Models by Extrapolating Errors from Small Models.
EMNLP (Findings)
Ruida Wang, Wangchunshu Zhou, Mrinmaya Sachan
2023 J jnl
Let's Synthesize Step by Step: Iterative Dataset Synthesis with Large Language Models by Extrapolating Errors from Small Models.
CoRR
Ruida Wang, Wangchunshu Zhou, Mrinmaya Sachan
2023 — conf
Revisiting Key Switching Techniques with Applications to Light-Key FHE.
ICISC (1)
Ruida Wang, Zhihao Li, Benqiang Wei, Chunling Chen, Xianhui Lu, Kunpeng Wang
2023 J jnl
SR-PredictAO: Session-based Recommendation with High-Capability Predictor Add-On.
CoRR
Ruida Wang, Raymond Chi-Wing Wong, Weile Tan