A neuro-symbolic framework combines neural G-code generation with separation logic verification to create self-correcting, verified manufacturing instructions by treating collisions as spatial data races.
Concurrent separation logic.ACM SIGLOG News, 3(3):47–65
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.LO 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Correct-by-Construction G-Code Generation: A Neuro-Symbolic Approach via Separation Logic
A neuro-symbolic framework combines neural G-code generation with separation logic verification to create self-correcting, verified manufacturing instructions by treating collisions as spatial data races.