Search Results for author:
Found 1 papers, 0 papers with code
CoProver: A Recommender System for Proof Construction
We evaluate CoProver on a series of well-established metrics originating from the recommender system and information retrieval communities, respectively.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
