CoProver: A Recommender System for Proof Construction.

Eric Yeh Briland Hitaj Sam Owre Maena Quemener Natarajan Shankar

Published in: CICM (2023)

Keyphrases

recommender systems
collaborative filtering
construction process
information filtering
neural network
theorem prover
cold start problem
recommendation quality
real time
linear logic
cold start
user modeling
user model
user preferences
similarity measure
knowledge base
information systems
real world