Jineon Baek

Identifiers

• name variant Jineon Baek 0.60 · backfill

Papers (3)

1. Lean-GAP: A Dataset of Formalized Graduate Algebra Problems cs.LO · 2026 · author #7
2. Johnson's bijections and their application to counting simultaneous core partitions math.CO · 2017 · author #1
3. A bijective proof of Amdeberhan's conjecture on the number of $(s, s+2)$-core partitions with distinct parts math.CO · 2017 · author #1

Mentions

• 2606.02588 #7 · arxiv_oai · confidence 0.70 Jineon Baek

Frequent Coauthors

• Hayan Nam 2 shared papers
• Myungjun Yu 2 shared papers
• Byung-Hak Hwang 1 shared papers
• Chul-hee Lee 1 shared papers
• Hyojae Lim 1 shared papers
• Hyukpyo Hong 1 shared papers
• Hyungryul Baik 1 shared papers
• Ilkyoo Choi 1 shared papers
• Jaeseong Heo 1 shared papers
• Jihoon Hyun 1 shared papers
• Keewoo Lee 1 shared papers
• Kyu-Hwan Lee 1 shared papers
• Seewoo Lee 1 shared papers
• Yeachan Park 1 shared papers