Get started
Author

Yeonseok Lee

Observed name: Lee, Yeonseok
Observed institution: Nagoya University
ORCID: 0009-0004-6153-0205
Observed ORCID: 0009-0004-6153-0205
OpenAlex ID: A5083634261
NS-JEPA: Towards Efficient Embodied AI via Neuro-Symbolic Joint-Embedding Predictive Architecture
2026 · Lee, Yeonseok · Zenodo (CERN European Organization for Nuclear Research) · 2
Relative Completeness of Incorrectness Separation Logic
2024 · Yeonseok Lee, Koji Nakazawa · Lecture notes in computer science · 2
PDF
Vision-Predictor-Action: Towards Efficient Embodied AI via Neuro-Symbolic JEPA Predictors
2026 · Lee, Yeonseok · arXiv (Cornell University) · 1
PDF
Separation Logic for Verifying Physical Collisions of CNC Programs
2026 · Lee, Yeonseok · arXiv (Cornell University) · 1
PDF
Correct-by-Construction G-Code Generation: A Neuro-Symbolic Approach via Separation Logic
2026 · Lee, Yeonseok · arXiv (Cornell University) · 1
PDF
Quad-VPA: Few-Step Flow-Matching Navigation over Non-Reconstructive JEPA Latents for Quadrupedal Robots in Clutter
2026 · Lee, Yeonseok · Zenodo (CERN European Organization for Nuclear Research)
Dynamic Latent Cloning with Continuous Barrier Guidance: Multi-Agent Vision-Predictor-Action
2026 · Lee, Yeonseok · Zenodo (CERN European Organization for Nuclear Research)
Aero-VPA: Few-Step Flow-Matching Control over Non-Reconstructive JEPA Latents for Agile Flight on Edge Hardware
2026 · Lee, Yeonseok · arXiv (Cornell University)
PDF
PR-JEPA: Decoupling Latent Planning from Few-Step Discrete Realization for Non-Autoregressive Generation of Code, Legal Documents, and Control
2026 · Lee, Yeonseok · Zenodo (CERN European Organization for Nuclear Research)
Neuro-Symbolic AI for Korean Criminal Law: Sentencing Prediction and Document Drafting
2026 · Lee, Yeonseok · arXiv (Cornell University)
PDF
Separation Logic for Memory Conflict Detection in High-Level Synthesis
2026 · Lee, Yeonseok · arXiv (Cornell University)
PDF
Theoretical Studies of Program Verification Based on Separation Logic
2026 · Lee, Yeonseok · Institutional Repositories DataBase (IRDB)
PDF
Incorrectness Separation Logic with Arrays and Pointer Arithmetic
2025 · Yeonseok Lee, Koji Nakazawa · Journal of Information Processing
PDF
KIGEN - A Computer Code for Decay Heat Calculation by Analytic Relations
1990 · Nam-Zin Cho, Yeonseok Lee
Works count: 14
Citation count: 7
H-index: 2
I10-index:
Year
Topic
Type