Search Results for author:
Found 2 papers, 0 papers with code
CoProver: A Recommender System for Proof Construction
We evaluate CoProver on a series of well-established metrics originating from the recommender system and information retrieval communities, respectively.
Revisiting Variable Ordering for Real Quantifier Elimination using Machine Learning
Prior work has demonstrated that machine learning can be useful in determining efficient variable orderings.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
