J. Baek

Papers on Lattice

Total citations

Topics

h-index

Research focus

Code Generation & Program Synthesis (1)Reasoning & Chain-of-Thought (1)Scientific Discovery & Drug Design (1)

Frequent co-authors

Jae-Hyun Baek (1)Jon-Lark Kim (1)Jon-Lark Kim (1)

Papers (1)

Apr 9, 2026

J. Baek +3Apr 9, 2026

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

Forget searching for optimal self-dual codes: a new q-ary construction method, formalized in Lean 4, efficiently generates them, including previously unknown MDS codes over GF(13).

J. Baek, Jae-Hyun Baek, Jon-Lark Kim +1

Code Generation & Program Synthesis Reasoning & Chain-of-Thought Scientific Discovery & Drug Design

J. Baek

Research focus

Frequent co-authors

Papers (1)

Search

J. Baek

Research focus

Frequent co-authors

Papers (1)