Shadowgraph
About
Sign in
← Papers

Trimming Data Sets: a Verified Algorithm for Robust Mean Estimation

ACM:3479394.3479412 · 1 repo reference this paper in their README

affeldt-aist/infotheo

76

·

+0

·

Rocq Prover

A Rocq formalization of information theory and linear error-correcting codes