TY  - RPRT
TI  - Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis
AU  - George Granberry
AU  - Wolfgang Ahrendt
AU  - Moa Johansson
PY  - 2025
UR  - https://arxiv.org/abs/2504.21061
ID  - 2504.21061
ER  -