TY  - RPRT
TI  - Proof Scores: A Survey (full version)
AU  - Adrian Riesco
AU  - Kazuhiro Ogata
AU  - Masaki Nakamura
AU  - Daniel Gaina
AU  - Duong Dinh Tran
AU  - Kokichi Futatsugi
PY  - 2025
DO  - 10.1145/3729166
UR  - https://arxiv.org/abs/2504.14561
ID  - 2504.14561
ER  -