Type-level Programming, Proof-carrying Code, Agda, Type Safety
Why we need better software identification
softwareheritage.org·2d
Teacher’s fraction grading shocks internet
mindyourdecisions.com·2d
Improving annotator selection in Active Learning using a mood and fatigue-aware Recommender System
arxiv.org·1d
Federated Distributionally Robust Optimization with Non-Convex Objectives: Algorithm and Analysis
arxiv.org·2d
Loading...Loading more...