CoProver: A Recommender System for Proof Construction. - Eric Yeh; Briland Hitaj; Sam Owre; Maena Quemener; Natarajan Shankar (CICM, 2023)