2 papers
cs.AI2025
SysMoBench: Evaluating AI on Formally Modeling Complex Real-World Systems
Qian Cheng, Ruize Tang, Emilie Ma +7
Formal models are essential to specifying large, complex computer systems and verifying their correctness, but are notoriously expensive to write and maintain. Recent advances in g…
cs.LG2025
FedFetch: Faster Federated Learning with Adaptive Downstream Prefetching
Qifan Yan, Andrew Liu, Shiqi He +2
Federated learning (FL) is a machine learning paradigm that facilitates massively distributed model training with end-user data on edge devices directed by a central server. Howeve…