2 papers
cs.CR2026
Privacy-Preserving Robustness Verification for Neural Networks
Nianyun Song, Xiaokun Luan, Yu Guo +3
Neural network verification and data privacy are inherently in tension: verification demands full access to model parameters and input data, yet both are increasingly restricted by…
cs.CL2025
CreAgentive: An Agent Workflow Driven Multi-Category Creative Generation Engine
Yuyang Cheng, Linyue Cai, Changwei Peng +3
We present CreAgentive, an agent workflow driven multi-category creative generation engine that addresses four key limitations of contemporary large language models in writing stor…