TY  - RPRT
TI  - What can be certified compactly?
AU  - Nicolas Bousquet
AU  - Laurent Feuilloley
AU  - Théo Pierron
PY  - 2022
UR  - https://arxiv.org/abs/2202.06065
ID  - 2202.06065
ER  -