C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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