Maena Quemener

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 2

Top Topics

Movie Recommendation

Theorem Proving

Top Venues

Publications

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