TY  - RPRT
TI  - Agentic Separation Logic Specification Synthesis
AU  - Tarun Suresh
AU  - David Korczynski
AU  - Julien Vanegue
PY  - 2026
UR  - https://arxiv.org/abs/2605.27531
ID  - 2605.27531
ER  -