3 citations · 3 across the 3 of their papers we have counts for
3 papers
cs.LO2026
Formalizing Flag Algebras in Lean
Gyeongwon Jeong, Seonghun Park, Jihoon Hyun +2
Razborov's flag algebra method is one of the most successful tools for proving asymptotic density inequalities in extremal graph theory. It reduces an inequality about all large gr…
cs.PL2026
An Introduction to Razborov's Flag Algebra as a Proof System for Extremal Graph Theory
Gyeongwon Jeong, Seonghun Park, Hongseok Yang
Razborov's flag algebra forms a powerful framework for deriving asymptotic inequalities between induced subgraph densities, underpinning many advances in extremal graph theory. Thi…
cs.PL2016★ 3 cited
Automatically generating features for learning program analysis heuristics
Kwonsoo Chae, Hakjoo Oh, Kihong Heo +1
We present a technique for automatically generating features for data-driven program analyses. Recently data-driven approaches for building a program analysis have been proposed, w…