Sang-il Oum
1 indexed paper
Recent (6 mo)
1With code
0Influential cites
0Benchmarked
0Publications per year
126
Top categories
Logic×1AI×1Prog. Lang.×1Combinatorics×1
Frequent co-authors
Research Timeline
2026
Formalizing Flag Algebras in Lean
The paper formalizes Razborov's flag algebra method for finite simple graphs and creates a compiler to transform certificate data into algebraic proofs checked by Lean.
Highlighted terms show continued research focus across papers
Papers
cs.LOcs.AIcs.PLTheoreticalRecentJul 26, 2026
Formalizing Flag Algebras in Lean
Gyeongwon Jeong, Seonghun Park, Jihoon Hyun, Sang-il Oum +1 more
The paper formalizes Razborov's flag algebra method for finite simple graphs and creates a compiler to transform certificate data into algebraic proofs checked by Lean.
View →