TY  - RPRT
TI  - A Closer Look at Some Recent Proof Compression-Related Claims
AU  - Michael C. Chavrimootoo
AU  - Ethan Ferland
AU  - Erin Gibson
AU  - Ashley H. Wilson
PY  - 2022
UR  - https://arxiv.org/abs/2212.12150
ID  - 2212.12150
ER  -