Proof Assistants, Correctness Guarantees, Logic Systems, Specification
Adaptive Bayesian Data-Driven Design of Reliable Solder Joints for Micro-electronic Devices
arxiv.org·16h
PBiLoss: Popularity-Aware Regularization to Improve Fairness in Graph-Based Recommender Systems
arxiv.org·1d
Beyond 9-to-5: A Generative Model for Augmenting Mobility Data of Underrepresented Shift Workers
arxiv.org·16h
Synomaly Noise and Multi-Stage Diffusion: A Novel Approach for Unsupervised Anomaly Detection in Medical Images
arxiv.org·16h
Loading...Loading more...