Jinu Lee

Hi! I am Jinu Lee, a Ph.D. student in Computer Science at UIUC. I am currently advised by Julia Hockenmaier.

My research focuses on semantics of reasoning, aiming to understand and improve natural language reasoning via neural large language models and symbolic methods. Specific topics include:

  • Semantic representations for reasoning (logic, math, code) & Neuro-symbolic reasoning
  • Fine-grained evaluation of reasoning traces
  • Improving reasoning capabilities of large language models

You can find my CV here.


Education
  • University of Illinois Urbana-Champaign
    University of Illinois Urbana-Champaign
    Ph.D. Student in Computer Science
    Aug. 2024 - Present
  • Seoul National University
    Seoul National University
    B.S. in Computer Science
    Mar. 2018 - Aug. 2024
Experience
  • Microsoft Research
    Microsoft Research
    Research Scientist Intern
    May. 2025 - Aug. 2025
  • LBOX
    LBOX
    Research Engineer
    Jul. 2023 - Jun. 2024
  • NCSOFT
    NCSOFT
    Researcher
    Jun. 2020 - Nov. 2020
Honors & Awards
  • Korean Foundation for Advanced Studies PhD Scholarship
    2024 - Present
  • Presidential Science Scholarship for Undergraduates
    2018 - 2024
Academic Service
  • ACL Rolling Review Reviewer
    2024 - Present
  • COLM Reviewer
    2025 - Present
News
2025
I am visiting NAACL 2025 @ Albuquerque with one first-author paper presentation!
Apr 29
I am visiting MSLD 2025 @ Notre Dame University with two posters! Looking forward to discuss about neuro-symbolic reasoning and CoT structures.
Apr 15
I gave a talk to Human-AI Collaborative Coding Joint Lab @ Yonsei/KNU/UoS/SKKU on neuro-symbolic reasoning. Slides
Feb 28
2024
I am visiting EMNLP 2024 @ Miami!
Nov 12
I am officially starting my PhD at UIUC!
Aug 15
Selected Publications (view all )
SymBa: Symbolic Backward Chaining for Structured Natural Langauge Reasoning
SymBa: Symbolic Backward Chaining for Structured Natural Langauge Reasoning

Jinu Lee, Weonseok Hwang

NAACL 2025 Main

SymBa: Symbolic Backward Chaining for Structured Natural Langauge Reasoning

Jinu Lee, Weonseok Hwang

NAACL 2025 Main

Scaling Evaluation-time Compute with Reasoning Models as Process Evaluators
Scaling Evaluation-time Compute with Reasoning Models as Process Evaluators

Seungone Kim, Ian Wu*, Jinu Lee*, Xiang Yue, Seongyun Lee, Mingyeong Moon, Kiril Gashteovski, Carolin Lawrence, Julia Hockenmaier, Graham Neubig, Sean Welleck (* equal contribution)

Preprint. 2025

Scaling Evaluation-time Compute with Reasoning Models as Process Evaluators

Seungone Kim, Ian Wu*, Jinu Lee*, Xiang Yue, Seongyun Lee, Mingyeong Moon, Kiril Gashteovski, Carolin Lawrence, Julia Hockenmaier, Graham Neubig, Sean Welleck (* equal contribution)

Preprint. 2025

Entailment-Preserving First-order Logic Representations in Natural Language Entailment
Entailment-Preserving First-order Logic Representations in Natural Language Entailment

Jinu Lee, Qi Liu, Runzhi Ma, Vincent Han, Ziqi Wang, Heng Ji, Julia Hockenmaier

Preprint. 2025

Entailment-Preserving First-order Logic Representations in Natural Language Entailment

Jinu Lee, Qi Liu, Runzhi Ma, Vincent Han, Ziqi Wang, Heng Ji, Julia Hockenmaier

Preprint. 2025

Evaluating Step-by-step Reasoning Traces: A Survey
Evaluating Step-by-step Reasoning Traces: A Survey

Jinu Lee, Julia Hockenmaier

Preprint. 2025

Evaluating Step-by-step Reasoning Traces: A Survey

Jinu Lee, Julia Hockenmaier

Preprint. 2025

All publications