Search Results for author:
Found 9 papers, 0 papers with code
Semgrex and Ssurgeon, Searching and Manipulating Dependency Graphs
Searching dependency graphs and manipulating them can be a time consuming and challenging task to get right.
Automatic Measures for Evaluating Generative Design Methods for Architects
Of interest for architects is to use these methods to generate design proposals from conceptual sketches, usually hand-drawn sketches that are quickly developed and can embody a design intent.
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.
Outcome-Guided Counterfactuals for Reinforcement Learning Agents from a Jointly Trained Generative Latent Space
We present a novel generative method for producing unseen and plausible counterfactual examples for reinforcement learning (RL) agents based upon outcome variables that characterize agent behavior.
Discourse-Wide Extraction of Assay Frames from the Biological Literature
We consider the problem of populating multi-part knowledge frames from textual information distributed over multiple sentences in a document.
An Annotated Corpus and Method for Analysis of Ad-Hoc Structures Embedded in Text
We describe a method for identifying and performing functional analysis of structured regions that are embedded in natural language documents, such as tables or key-value lists.
