Now showing items 1-3 of 3
A Dynamic Approach to Statistical Debugging: Building Program Specific Models with Neural Networks
(Georgia Institute of Technology, 2007-05)
Computer software is constantly increasing in complexity; this requires more developer time, effort, and knowledge in order to correct bugs inevitably occurring in software production. Eventually, increases in complexity ...
On Formula Embeddings in Neural-Guided SAT Solving
(Georgia Institute of Technology, 2019-12)
Branching heuristics determine the performance of search-based SAT solvers. We note that recently, Neural Machine Learning approaches have been proposed to learn such heuristics from data. The first step in learning a ...
Detecting Mosquitoes with Convolutional Neural Networks
(Georgia Institute of Technology, 2017-08)
Mosquitoes are directly responsible for the death of more than a million people each year. Yet the ability to mitigate their deadly impact or even monitor them in the wild to better understand their behavior remains ...