no code implementations • 12 Sep 2019 • Nikos Arechiga, Jonathan DeCastro, Soonho Kong, Karen Leung
We describe the concept of logical scaffolds, which can be used to improve the quality of software that relies on AI components.
no code implementations • 13 Feb 2018 • Jeevana Priya Inala, Sicun Gao, Soonho Kong, Armando Solar-Lezama
In this paper, we present ReaS, a technique that combines numerical optimization with SAT solving to synthesize unknowns in a program that involves discrete and floating point computation.
no code implementations • 16 May 2015 • Leonardo de Moura, Jeremy Avigad, Soonho Kong, Cody Roux
To be usable in practice, interactive theorem provers need to provide convenient and efficient means of writing expressions, definitions, and proofs.
Logic in Computer Science