3 papers
cs.AI2026
EduRiskX: A Neuro-Symbolic Framework with F-Logic Reasoning for Early Academic Risk Prediction
Yu Fu, Yongqi Kang, Yong Zhao +1
Predicting students' academic risk in online education is crucial for enabling timely interventions that can improve retention and learning outcomes. However, existing models often…
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…