3 citations · 3 across the 3 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
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…