7 papers
ShannonProver: Towards Automating Formal Cryptographic Proofs
Yiping Ma, Yu-Lin Tsai, Mayank Rathee +4
Cryptographic proofs are produced at a scale that increasingly exceeds the community's ability to verify them manually. Machine-checked proofs offer a path toward scalable proof ve…
Filtering Memorization from Parameter-Space in Diffusion Models
Yu Zhe, Yang Jiayan, Wei Junhao +2
Low-Rank Adaptation (LoRA) has become a widely used mechanism for customizing diffusion models, enabling users to inject new visual concepts or styles through lightweight parameter…
Hidden Thoughts Are Not Secret: Reasoning Trace Exposure in LLMs
Yu-An Lu, Ci-Yang Tsai, Yu-Lin Tsai +2
Reasoning traces have become a valuable form of learning signals for improving and transferring the capabilities of large language models. In particular, detailed traces can help d…
BADTV: Unveiling Backdoor Threats in Third-Party Task Vectors
Chia-Yi Hsu, Yu-Lin Tsai, Yu Zhe +6
Task arithmetic in large-scale pre-trained models enables agile adaptation to diverse downstream tasks without extensive retraining. By leveraging task vectors (TVs), users can per…
VP-NTK: Exploring the Benefits of Visual Prompting in Differentially Private Data Synthesis
Chia-Yi Hsu, Jia-You Chen, Yu-Lin Tsai +4
Differentially private (DP) synthetic data has become the de facto standard for releasing sensitive data. However, many DP generative models suffer from the low utility of syntheti…
Data Poisoning Attacks to Locally Differentially Private Range Query Protocols
Ting-Wei Liao, Chih-Hsun Lin, Yu-Lin Tsai +5
Local Differential Privacy (LDP) has been widely adopted to protect user privacy in decentralized data collection. However, recent studies have revealed that LDP protocols are vuln…