3 citations · 6 across the 8 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.SE2020
Analogy-Making as a Core Primitive in the Software Engineering Toolbox
Matthew Sotoudeh, Aditya V. Thakur
An analogy is an identification of structural similarities and correspondences between two objects. Computational models of analogy making have been studied extensively in the fiel…
cs.LG2020
Abstract Neural Networks
Matthew Sotoudeh, Aditya V. Thakur
Deep Neural Networks (DNNs) are rapidly being applied to safety-critical domains such as drone and airplane control, motivating techniques for verifying the safety of their behavio…