Proof Scores: A Survey. - Riesco, Adrián; Ogata, Kazuhiro; Nakamura, Masaki; Gaina, Daniel; Tran, Duong Dinh; Futatsugi, Kokichi (ACM Computing Surveys, 2025)