activity
20242026
most citedSeed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from Experience

1 citations · 3 across the 9 of their papers we have counts for

collaborators

10 papers

cs.AI2026

Learning from a Thoughtful Teacher: Adaptive On-Policy Self-Distillation for Mathematical Reasoning

Jiacheng Du, Weiwei Xie, Tianyi Du +3

On-policy self-distillation (OPSD) trains a question-only student with token-level feedback from a teacher given training-only privileged information (PI). OPSD therefore provides…

cs.CV2026

Attention-Free and Lightweight Token Reduction for Efficient Vision-Language Models

Xuanyi Hao, Zuoyuan Zhang, Zhibo Wang +4

Vision-Language Models (VLMs) have achieved strong performance in multimodal understanding, yet remain challenging to deploy on resource-constrained edge devices due to the substan…

cs.CR2026

LoRA-Key: User-Centric LoRA Watermarking for Text-to-Image Diffusion Models

Yaopeng Wang, Qingliang Wang, Zhibo Wang +5

Low-Rank Adaptation (LoRA) has become a widely used mechanism for customizing text-to-image diffusion models, enabling lightweight modules that are shared, reused, and commercializ…

cs.CL2025★ 1 cited

Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from Experience

Jiangjie Chen, Wenxiang Chen, Jiacheng Du +19

Large language models have recently made significant progress to generate rigorous mathematical proofs. In contrast, utilizing LLMs for theorem proving in formal languages (such as…

cs.RO2025

LISN: Language-Instructed Social Navigation with VLM-based Controller Modulating

Junting Chen, Yunchuan Li, Panfeng Jiang +5

Towards human-robot coexistence, socially aware navigation is significant for mobile robots. Yet existing studies on this area focus mainly on path efficiency and pedestrian collis…

cs.CR2025

PT-Mark: Invisible Watermarking for Text-to-image Diffusion Models via Semantic-aware Pivotal Tuning

Yaopeng Wang, Huiyu Xu, Zhibo Wang +5

Watermarking for diffusion images has drawn considerable attention due to the widespread use of text-to-image diffusion models and the increasing need for their copyright protectio…

cs.CR2025

Privacy-Preserving LLM Embedding Transmission for End-Cloud Collaboration

Shuaifan Jin, Xiaoyi Pang, Zhibo Wang +4

Recent studies improve on-device language model (LM) inference through end-cloud collaboration, where the end device retrieves useful information from cloud databases to enhance lo…

cs.CR2024

Breaking Secure Aggregation: Label Leakage from Aggregated Gradients in Federated Learning

Zhibo Wang, Zhiwei Chang, Jiahui Hu +4

Federated Learning (FL) exhibits privacy vulnerabilities under gradient inversion attacks (GIAs), which can extract private information from individual gradients. To enhance privac…

cs.CR2024★ 1 cited

Textual Unlearning Gives a False Sense of Unlearning

Jiacheng Du, Zhibo Wang, Jie Zhang +3

Language Models (LMs) are prone to ''memorizing'' training data, including substantial sensitive user information. To mitigate privacy risks and safeguard the right to be forgotten…

cs.CR2024★ 1 cited

SoK: On Gradient Leakage in Federated Learning

Jiacheng Du, Jiahui Hu, Zhibo Wang +4

Federated learning (FL) facilitates collaborative model training among multiple clients without raw data exposure. However, recent studies have shown that clients' private training…