Research author

Jae-Hyun Baek

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

Papers by Jae-Hyun Baek

Apr 9, 2026
cs.IT

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

Jae-Hyun Baek, Jon-Lark Kim

Jae-Hyun Baek — AI Research Papers | One9Founders