2 papers
cs.LG2019
CLN2INV: Learning Loop Invariants with Continuous Logic Networks
Gabriel Ryan, Justin Wong, Jianan Yao +2
Program verification offers a framework for ensuring program correctness and therefore systematically eliminating different classes of bugs. Inferring loop invariants is one of the…
cs.HC2018
At a Glance: Pixel Approximate Entropy as a Measure of Line Chart Complexity
Gabriel Ryan, Abigail Mosca, Remco Chang +1
When inspecting information visualizations under time critical settings, such as emergency response or monitoring the heart rate in a surgery room, the user only has a small amount…