Maena Quemener

According to our database, Maena Quemener authored at least 1 paper in 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

CoProver: A Recommender System for Proof Construction.

Eric Yeh, Briland Hitaj, Sam Owre, Maena Quemener, Natarajan Shankar

Proceedings of the Intelligent Computer Mathematics - 16th International Conference, 2023