Showing cs.LGShow all
3 papers · 1 filter
cs.LG2026
Understanding Backdoor Vulnerabilities in Vertical Federated Learning: The Gap Between Research and Practice
Ziqi Zhao, Jialin Lu, Junjie Shan +3
Vertical Federated Learning (VFL) enables organizations holding complementary features of shared entities to collaborate and train models. In this setting, the initiator can withho…
cs.LG2025
Lean Finder: Semantic Search for Mathlib That Understands User Intents
Jialin Lu, Kye Emond, Kaiyu Yang +3
We present Lean Finder, a semantic search engine for Lean and mathlib that understands and aligns with the intents of mathematicians. Progress in formal theorem proving is often hi…
cs.LG2024
Geminio: Language-Guided Gradient Inversion Attacks in Federated Learning
Junjie Shan, Ziqi Zhao, Jialin Lu +3
Foundation models that bridge vision and language have made significant progress. While they have inspired many life-enriching applications, their potential for abuse in creating n…