research
∙
02/18/2022
SapientML: Synthesizing Machine Learning Pipelines by Learning from Human-Written Solutions
Automatic machine learning, or AutoML, holds the promise of truly democr...
share
research
∙
10/26/2021
NeuroComb: Improving SAT Solving with Graph Neural Networks
Propositional satisfiability (SAT) is an NP-complete problem that impact...
research
∙
09/20/2021
Programming and Training Rate-Independent Chemical Reaction Networks
Embedding computation in biochemical environments incompatible with trad...
research
∙
06/03/2021
Distributed Symbolic Execution using Test-Depth Partitioning
Symbolic execution is a classic technique for systematic bug finding, wh...
research
∙
03/30/2020
Deep Molecular Programming: A Natural Implementation of Binary-Weight ReLU Neural Networks
Embedding computation in molecular contexts incompatible with traditiona...
research
∙
12/25/2019
A Study of the Learnability of Relational Properties (Model Counting Meets Machine Learning)
Relational properties, e.g., the connectivity structure of nodes in a di...
research
∙
06/16/2019
MoËT: Interpretable and Verifiable Reinforcement Learning via Mixture of Expert Trees
Deep Reinforcement Learning (DRL) has led to many recent breakthroughs o...
research
∙
08/06/2018
Executable Trigger-Action Comments
Natural language elements, e.g., todo comments, are frequently used to c...
research
∙
07/27/2018
Symbolic Execution for Deep Neural Networks
Deep Neural Networks (DNN) are increasingly used in a variety of applica...
research
∙
07/23/2018
Fault Localization for Declarative Models in Alloy
Fault localization is a popular research topic and many techniques have ...
research
∙
02/07/2018
DeepRoad: GAN-based Metamorphic Autonomous Driving System Testing
While Deep Neural Networks (DNNs) have established the fundamentals of D...
research
∙
09/05/2017