Scholar

Yeonseok Lee

Google Scholar ID: mxgg1o8AAAAJ

Nagoya University, Graduate School of Informatics

Computer sicenceTheory of computationLogicProgram verificationConcurrency

Google Scholar↗

Citations & Impact

All-time

Citations

2

H-index

1

i10-index

0

Publications

3

Co-authors

1

list available

Contact

No contact links provided.

Publications

6 items

Neuro-Symbolic AI for Korean Criminal Law: Sentencing Prediction and Document Drafting

2026

Cited

0

Separation Logic for Memory Conflict Detection in High-Level Synthesis

2026

Cited

0

Correct-by-Construction G-Code Generation: A Neuro-Symbolic Approach via Separation Logic

2026

Cited

0

Separation Logic for Verifying Physical Collisions of CNC Programs

2026

Cited

0

Relative Completeness of Incorrectness Separation Logic

2025

Cited

0

Incorrectness Separation Logic with Arrays and Pointer Arithmetic

2025

Cited

0

Resume (English only)

Co-authors

1 total

Nagoya University