1 citations · 2 across the 5 of their papers we have counts for
5 papers
MIL-BERT: Classification of Arbitrarily Large Text with Performance and Explanatory Guarantees
John Cadigan, Dayne Freitag, Eric Yeh
Many text classification decisions are viable based on constituent excerpts alone. Taking inspiration from the field of multiple instance learning, we present an algorithm for trai…
Semgrex and Ssurgeon, Searching and Manipulating Dependency Graphs
John Bauer, Chloe Kiddon, Eric Yeh +2
Searching dependency graphs and manipulating them can be a time consuming and challenging task to get right. We document Semgrex, a system for searching dependency graphs, and intr…
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…
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…