◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

Soonho Kong

22 papers hereh-index 152.1k citations53 works total

Matching runs newest-first, so older work may not be attached to this profile yet.

author position
  • first author1
  • middle author16
  • last author2

Across the 19 of 22 papers where every author was matched, so the position is known.

fields
  • cs.LO6
  • cs.LG4
  • cs.SE3
  • cs.PL2
  • eess.SY2
  • cs.AI1

identity via Semantic Scholar / OpenAlex

activity
20132026
most citedSatisfiability Modulo ODEs

29 citations · 73 across the 19 of their papers we have counts for

collaborators
Showing 2019Show all

1 paper · 1 filter

cs.LG2019★ 1 cited

Better AI through Logical Scaffolding

Nikos Arechiga, Jonathan DeCastro, Soonho Kong +1

We describe the concept of logical scaffolds, which can be used to improve the quality of software that relies on AI components. We explain how some of the existing ideas on runtim…

◍wovepaper

Papers, researchers and institutions, woven together.

Explore
  • Search
  • Researchers
  • Institutions
Account
  • Library
  • Chat
Data
  • arXiv.org
  • Semantic Scholar
  • OpenAlex
  • Latest RSS
AboutContactPrivacyDevelopersllms.txtopenapi.json
Not affiliated with arXiv. Researcher data from Semantic Scholar (ODC-BY) and OpenAlex.