Papers
Flexible Functional Treatment Effect Estimation
Jiayi Wang, Raymond K. W. Wong, Xiaoke Zhang et al.
Error Analysis for Deep ReLU Feedforward Density-Ratio Estimation with Bregman Divergence
Siming Zheng, Guohao Shen, Yuanyuan Lin et al.
A Reinforcement Learning Approach in Multi-Phase Second-Price Auction Design
Rui Ai, Boxiang Lyu, Zhaoran Wang et al.
UQLM: A Python Package for Uncertainty Quantification in Large Language Models
Dylan Bouchard, Mohit Singh Chauhan, David Skarbrevik et al.
Nonlinear function-on-function regression by RKHS
Peijun Sang, Bing Li
Nonlocal Techniques for the Analysis of Deep ReLU Neural Network Approximations
Cornelia Schneider, Mario Ullrich, Jan Vybíral
A Data-Augmented Contrastive Learning Approach to Nonparametric Density Estimation
Chenghao Li, Yuanyuan Lin
skwdro: a library for Wasserstein distributionally robust machine learning
Vincent Florian, Waïss Azizian, Franck Iutzeler et al.
Extending Mean-Field Variational Inference via Entropic Regularization: Theory and Computation
Bohan Wu, David M. Blei
Stochastic Gradient Methods: Bias, Stability and Generalization
Shuang Zeng, Yunwen Lei
Classification Under Local Differential Privacy with Model Reversal and Model Averaging
Caihong Qin, Yang Bai
Identifying Weight-Variant Latent Causal Models
Yuhang Liu, Zhen Zhang, Dong Gong et al.
Efficient frequent directions algorithms for approximate decomposition of matrices and higher-order tensors
Maolin Che, Yimin Wei, Hong Yan
The surrogate Gibbs-posterior of a corrected stochastic MALA: Towards uncertainty quantification for neural networks
Sebastian Bieringer, Gregor Kasieczka, Maximilian F. Steffen et al.
RT: Regular Types for the Streaming Shell
Zekai Li, Lukas Lazarek, Evangelos Lamprou et al.
Spain: Succinct Proofs for Numerical Computations
Zachary DeStefano, Noah Golub, Zile Huang et al.
Neuro-Symbolic Proof Generation for Scaling Systems Software Verification
Baoding He, Zenan Li, Wei Sun et al.
jwmalloc: A Verified Memory Allocator for Mobile Devices
Jiawei Wang, Ming Fu, Ruixian Wang et al.
All Along the Watchtower: Achieving the Trinity of Observability in Cloud with DiTing
Zhenyu Ren, Shuzhi Feng, Erci Xu et al.
TypeCraft: A Lightweight Data Type Profiler with High Resolution
Zecheng Li, Xu Liu, Namhyung Kim et al.
PeeR: First-Class Scheduling for Latency-Critical eBPF Applications
Jeremy Carin, Ben Holmes, Weiyang Wang et al.
Svalinn: Overload Control in Large-Scale Servers with Multiple Resource Bottlenecks
Bhaskar Subhash Pardeshi, Peidi Song, Ahmed Saeed