이진우

🏷️ 인물 추론 LLM 교수 NeurIPS논문 Star

개요

이진우(Jinu Lee)는 미국 일리노이대학교 어배너섐페인(UIUC) 컴퓨터과학과 박사과정 연구자입니다. 지도교수는 줄리아 호켄마이어이며, 추론의 의미론(semantics of reasoning)을 핵심 주제로 삼습니다. 논리, 수학, 코드 영역에서 추론의 의미 구조를 분석하고, 뉴로심볼릭(neuro-symbolic) 방법과 대형 언어 모델을 결합해 자연어 추론을 이해하고 개선하는 연구를 합니다.

NAACL 2025에 2편의 제1저자 논문을 동시에 발표했으며, ACL 2025에도 제1저자 논문 1편을 추가로 발표했습니다. 마이크로소프트 리서치에서 프로그램 검증을 위한 자연어 추론 인턴십을 수행한 이력도 보유합니다. 2026년 기준 UIUC NLP 연구실의 활발한 박사과정생 중 한 명으로, 취업 시장 진출도 준비 중인 것으로 알려져 있습니다.

생애

이진우의 학부 이력은 공개된 자료에서 명확하게 확인되지 않습니다. 현재 일리노이대학교 어배너섐페인 컴퓨터과학과 박사과정에 재학 중이며, 지도교수 줄리아 호켄마이어는 계산 언어학과 자연어 처리 분야의 저명한 연구자입니다. 호켄마이어 교수가 이끄는 HMR Lab은 언어 이해, 추론, 담화 구조 분석을 주로 다룹니다.

인턴십 이력으로는 마이크로소프트 리서치에서 프로그램 검증과 자연어 추론 연구를 수행한 것이 확인됩니다. 이는 그의 연구 관심사인 뉴로심볼릭 추론과 코드 의미론이 자연스럽게 연결된 선택으로 볼 수 있습니다. 2025년에는 ACL @ Vienna와 NAACL @ Albuquerque 두 곳에서 제1저자 논문 발표를 이어가며 NLP 학회 커뮤니티에서의 존재감을 높이고 있습니다.

박사과정 중 NAACL, ACL, EMNLP 등 NLP 분야 최상위 학회에 지속적으로 논문을 발표하고 있습니다. 같은 연구실의 동료 연구자들 및 줄리아 호켄마이어와의 협업이 주를 이룹니다.

업적

이진우의 가장 주목할 성과는 NAACL 2025에 발표한 두 편의 제1저자 논문입니다. 첫 번째는 "SymBa: Symbolic Backward Chaining for Structured Natural Language Reasoning"으로, 기호 솔버와 LLM을 통합하는 뉴로심볼릭 프레임워크입니다. 증명 과정을 기호 솔버가 주도하고 LLM은 솔버가 필요한 정보를 요청할 때만 호출되는 구조로, 연역, 관계, 산술 추론 7개 벤치마크에서 기존 대비 유의미한 성능 향상을 달성했습니다.

두 번째는 ReasoningFlow - Discourse Structures for Understanding LLM Reasoning Traces입니다. 대형 추론 모델(LRM)의 추론 트레이스를 8종 노드와 14종 엣지로 구성된 방향성 비순환 그래프(DAG)로 표현하는 담화 구조 주석 프레임워크입니다. 31개 수작업 주석과 1,260개 자동 주석 트레이스를 구축했으며, LRM이 기반 모델에 관계없이 유사한 구조적 추론 패턴을 보인다는 발견을 담고 있습니다.

2025년에는 "Evaluating Step-by-step Reasoning Traces: A Survey"(EMNLP 2025 Findings)의 공저자로도 참여했습니다. 이 서베이는 추론 트레이스 평가 방법론의 흐름을 정리하며 ReasoningFlow 같은 구조 기반 평가의 필요성을 뒷받침합니다. BeDiscovER 벤치마크 등 담화 이해 평가 연구에도 기여했습니다.

여담

이진우는 뉴로심볼릭 접근과 LLM 시대 추론 분석이라는 두 흐름이 교차하는 위치에서 연구합니다. LLM이 강화학습과 스케일링으로 추론 성능을 높이는 추세 속에서, 그는 추론 트레이스 자체를 의미론적으로 분석하고 구조화하는 방향을 택했습니다.

ReasoningFlow 프레임워크는 단순히 정답률을 올리는 것이 아니라 LRM이 어떻게 추론하는지를 설명 가능하게 만드는 도구입니다. "모니터링 가능한 추론(monitorable reasoning)"이라는 표현을 직접 쓰는 것도 이 맥락에서입니다. NAACL 2025에 제1저자 논문 2편을 동시에 발표한 것은 박사과정 학생으로서 이례적인 성과로 평가받습니다.

UIUC 컴퓨팅 언어학 그룹은 역사적으로 담화 구조 분석과 언어 이해 연구에 강점을 보여온 그룹입니다. 이진우의 연구는 이 전통과 최근의 LLM 추론 붐이 만나는 지점에 위치하여, 두 흐름 모두에서 인용될 수 있는 위치를 점하고 있습니다.

주요 논문