1 citations · 2 across the 5 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.CV2023
Automatic Measures for Evaluating Generative Design Methods for Architects
Eric Yeh, Briland Hitaj, Vidyasagar Sadhu +3
The recent explosion of high-quality image-to-image methods has prompted interest in applying image-to-image methods towards artistic and design tasks. Of interest for architects i…
cs.LO2023
CoProver: A Recommender System for Proof Construction
Eric Yeh, Briland Hitaj, Sam Owre +2
Interactive Theorem Provers (ITPs) are an indispensable tool in the arsenal of formal method experts as a platform for construction and (formal) verification of proofs. The complex…