6 papers
Neuro-Symbolic AI for Korean Criminal Law: Sentencing Prediction and Document Drafting
Yeonseok Lee
The Korean criminal justice system utilizes summary proceedings (guyaksik) to expedite high-volume minor infractions, such as simple driving under the influence (DUI), unlicensed d…
Separation Logic for Memory Conflict Detection in High-Level Synthesis
Yeonseok Lee
High-Level Synthesis leverages loop unrolling and array partitioning, but scheduling concurrent accesses is challenging when indices contain non-affine arithmetic. Conventional pol…
Correct-by-Construction G-Code Generation: A Neuro-Symbolic Approach via Separation Logic
Yeonseok Lee
This paper proposes a neuro-symbolic framework for G-code generation that seeks to integrate the neural generative capabilities of the GLLM method (Abdelaal et al., 2025) with form…
Separation Logic for Verifying Physical Collisions of CNC Programs
Yeonseok Lee
Safety verification in Computer Numerical Control (CNC) machining has traditionally relied on simulation-based methods that require repetitive tests when requirements change. This…
Relative Completeness of Incorrectness Separation Logic
Yeonseok Lee, Koji Nakazawa
Incorrectness Separation Logic (ISL) is a proof system that is tailored specifically to resolve problems of under-approximation in programs that manipulate heaps, and it primarily…
Incorrectness Separation Logic with Arrays and Pointer Arithmetic
Yeonseok Lee, Koji Nakazawa
Incorrectness Separation Logic (ISL) is a proof system designed to automate verification and detect bugs in programs manipulating heap memories. In this study, we extend ISL to sup…