Research author

Jon-Lark Kim

1 AI research paper in the One9Founders library, with summaries and links to original sources.

Papers by Jon-Lark Kim

Apr 9, 2026
cs.IT

Formalizing building-up constructions of self-dual codes through isotropic lines in Lean

Jae-Hyun Baek, Jon-Lark Kim

Jon-Lark Kim — AI Research Papers | One9Founders