TY  - RPRT
TI  - Neurosymbolic Architectural Reasoning: Towards Formal Analysis through Neural Software Architecture Inference
AU  - Steffen Herbold
AU  - Christoph Knieke
AU  - Andreas Rausch
AU  - Christian Schindler
PY  - 2025
UR  - https://arxiv.org/abs/2503.16262
ID  - 2503.16262
ER  -