Showing 2026Show 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.CV2026
D3S2: Diffusion-Guided Dataset Distillation for Semantic Segmentation
Wenjie Zheng, Haoji Hu, Jiali Lu +2
Dataset distillation (DD) aims to compress large-scale datasets into compact synthetic sets while preserving training efficacy. However, existing studies mainly focus on image clas…
cs.LO2026
Lean Refactor: Multi-Objective Controllable Proof Optimization via Agentic Strategy Search
Jialin Lu, Soonho Kong, Rodrigo Stehling +4
We present Lean Refactor, a plug-and-play retrieval-augmented agentic framework for multi-objective, controllable, and version-robust refactoring of Lean proofs. LLM-generated proo…