1 citations · 1 across the 4 of their papers we have counts for
4 papers
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…
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…
Revisiting Variable Ordering for Real Quantifier Elimination using Machine Learning
John Hester, Briland Hitaj, Grant Passmore +3
Cylindrical Algebraic Decomposition (CAD) is a key proof technique for formal verification of cyber-physical systems. CAD is computationally expensive, with worst-case doubly-expon…
Outcome-Guided Counterfactuals for Reinforcement Learning Agents from a Jointly Trained Generative Latent Space
Eric Yeh, Pedro Sequeira, Jesse Hostetler +1
We present a novel generative method for producing unseen and plausible counterfactual examples for reinforcement learning (RL) agents based upon outcome variables that characteriz…