research
∙
03/20/2023
Automatic Measures for Evaluating Generative Design Methods for Architects
The recent explosion of high-quality image-to-image methods has prompted...
share
research
∙
03/01/2023
CoProver: A Recommender System for Proof Construction
Interactive Theorem Provers (ITPs) are an indispensable tool in the arse...
research
∙
02/27/2023
Revisiting Variable Ordering for Real Quantifier Elimination using Machine Learning
Cylindrical Algebraic Decomposition (CAD) is a key proof technique for f...
research
∙
07/15/2022
