Idris, Agda, Proof Assistants, Type-Level Programming
The Magic is People
typesafety.netยท3d
Machine Learning Detection of Lithium Plating in Lithium-ion Cells: A Gaussian Process Approach
arxiv.orgยท11h
Profit over Proxies: A Scalable Bayesian Decision Framework for Optimizing Multi-Variant Online Experiments
arxiv.orgยท1d
MAESTRO : Adaptive Sparse Attention and Robust Learning for Multimodal Dynamic Time Series
arxiv.orgยท11h
The Geometry of Creative Variability: How Credal Sets Expose Calibration Gaps in Language Models
arxiv.orgยท1d
CMT: Mid-Training for Efficient Learning of Consistency, Mean Flow, and Flow Map Models
arxiv.orgยท1d
Loading...Loading more...