59 citations · 183 across the 18 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.LG2020★ 16 cited
Fast, Structured Clinical Documentation via Contextual Autocomplete
Divya Gopinath, Monica Agrawal, Luke Murray +3
We present a system that uses a learned autocompletion mechanism to facilitate rapid creation of semi-structured clinical documentation. We dynamically suggest relevant clinical co…
cs.LO2020★ 25 cited
Parallelization Techniques for Verifying Neural Networks
Haoze Wu, Alex Ozdemir, Aleksandar Zeljić +7
Inspired by recent successes with parallel optimization techniques for solving Boolean satisfiability, we investigate a set of strategies and heuristics that aim to leverage parall…