15 citations · 34 across the 3 of their papers we have counts for
6 papers
Resilient Cyberphysical Systems and their Application Drivers: A Technology Roadmap
Somali Chaterji, Parinaz Naghizadeh, Muhammad Ashraful Alam +14
Cyberphysical systems (CPS) are ubiquitous in our personal and professional lives, and they promise to dramatically improve micro-communities (e.g., urban farms, hospitals), macro-…
Graph Neural Reasoning for 2-Quantified Boolean Formula Solvers
Zhanfu Yang, Fei Wang, Ziliang Chen +2
In this paper, we investigate the feasibility of learning GNN (Graph Neural Network) based solvers and GNN-based heuristics for specified QBF (Quantified Boolean Formula) problems.…
AutoGraph: Imperative-style Coding with Graph-based Performance
Dan Moldovan, James M Decker, Fei Wang +6
There is a perceived trade-off between machine learning code that is easy to write, and machine learning code that is scalable or fast to execute. In machine learning, imperative s…
Demystifying Differentiable Programming: Shift/Reset the Penultimate Backpropagator
Fei Wang, Daniel Zheng, James Decker +3
Deep learning has seen tremendous success over the past decade in computer vision, machine translation, and gameplay. This success rests in crucial ways on gradient-descent optimiz…
From Gameplay to Symbolic Reasoning: Learning SAT Solver Heuristics in the Style of Alpha(Go) Zero
Fei Wang, Tiark Rompf
Despite the recent successes of deep neural networks in various fields such as image and speech recognition, natural language processing, and reinforcement learning, we still face…
Flare: Native Compilation for Heterogeneous Workloads in Apache Spark
Grégory M. Essertel, Ruby Y. Tahboub, James M. Decker +3
The need for modern data analytics to combine relational, procedural, and map-reduce-style functional processing is widely recognized. State-of-the-art systems like Spark have adde…