2 papers
cs.AI2025
Correctness Learning: Deductive Verification Guided Learning for Human-AI Collaboration
Zhao Jin, Lu Jin, Yizhe Luo +5
Despite significant progress in AI and decision-making technologies in safety-critical fields, challenges remain in verifying the correctness of decision output schemes and verific…
cs.LG2024
Neighborhood and Global Perturbations Supported SAM in Federated Learning: From Local Tweaks To Global Awareness
Boyuan Li, Zihao Peng, Yafei Li +4
Federated Learning (FL) can be coordinated under the orchestration of a central server to collaboratively build a privacy-preserving model without the need for data exchange. Howev…