Yeonseok Lee
2 papers · Latest:
Correct-by-Construction G-Code Generation: A Neuro-Symbolic Approach via Separation Logic
This paper introduces a neuro-symbolic framework for correct-by-construction G-code generation, using a neural generator and a logic verifier for self-correction.
2605.10568
Separation Logic for Verifying Physical Collisions of CNC Programs
This paper introduces a formal verification framework using Separation Logic to prevent physical collisions in CNC programs by treating workspace occupancy as a logical resource.
2605.10437
📬 Weekly AI Paper Digest
Get the top 10 AI/ML arXiv papers from the week — summarized, scored, and delivered to your inbox every Monday.