CoProver: A Recommender System for Proof Construction.

Eric Yeh Briland Hitaj Sam Owre Maena Quemener Natarajan Shankar

Published in: CoRR (2023)

Keyphrases

recommender systems
collaborative filtering
information filtering
computer vision
matrix factorization
movie recommendation
information systems
user preferences
database
theorem proving
information overload
user model
trust aware
content based filtering
linear logic
data sparsity
case study
real world
databases