Keewoo Lee

Identifiers

• name variant Keewoo Lee 0.60 · backfill

Papers (2)

1. Lean-GAP: A Dataset of Formalized Graduate Algebra Problems cs.LO · 2026 · author #9
2. Bypassing Prompt Guards in Production with Controlled-Release Prompting cs.LG · 2025 · author #3

Mentions

• 2510.01529 #3 · arxiv_oai · confidence 0.70 Keewoo Lee
• 2606.02588 #9 · arxiv_oai · confidence 0.70 Keewoo Lee

Frequent Coauthors

• 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
• Jaiden Fairoze 1 shared papers
• Jihoon Hyun 1 shared papers
• Jineon Baek 1 shared papers
• Kyu-Hwan Lee 1 shared papers
• Mingyuan Wang 1 shared papers
• Sanjam Garg 1 shared papers
• Seewoo Lee 1 shared papers
• Yeachan Park 1 shared papers