2 papers
cs.SE2026
From Natural Language to Verified C: Verification-Guided Generation with ACSL Specifications
Zian Wang, Qin Li, Weisong Sun +1
AI-assisted code generation amplifies the demand for automated formal verification. Generated programs must not only be executable but also accompanied by machine-checkable evidenc…
cs.LG2025
Heterogeneity-aware Personalized Federated Learning via Adaptive Dual-Agent Reinforcement Learning
Xi Chen, Qin Li, Haibin Cai +1
Federated Learning (FL) empowers multiple clients to collaboratively train machine learning models without sharing local data, making it highly applicable in heterogeneous Internet…