Soonho Kong

Soonho Kong

Amazon Inc. - Seattle / United States
Others
AD Scientific Index ID: 4968406
person_outline Soonho Kong's MOST POPULAR ARTICLES
1-) The Lean theorem prover (system description)L de Moura, S Kong, J Avigad, F Van Doorn, J von RaumerAutomated Deduction-CADE-25: 25th International Conference on Automated …, 20154722015
2-) dReal: An SMT Solver for Nonlinear Theories over the RealsS Gao, S Kong, EM ClarkeAutomated Deduction–CADE-24: 24th International Conference on Automated …, 20134712013
3-) dReach: δ-Reachability Analysis for Hybrid Systems S Kong, S Gao, W Chen, E Clarke 3012015
4-) Satisfiability Modulo ODEsS Gao, S Kong, EM ClarkeFormal Methods in Computer-Aided Design (FMCAD), 2013, 105-112, 20131142013
5-) Theorem proving in LeanJ Avigad, L de Moura, S KongMicrosoft Research, https://leanprover. github. io/tutorial/tutorial. pdf, 201563*2015