TY  - RPRT
TI  - NeSySpec: Neuro-Symbolic Technical Intelligence for Auditing Engineering Specifications with an Application to Aircraft
AU  - Pier Mattia Basciano
AU  - Gianvito Antenori
AU  - Cristiano Andolfi
AU  - Giovanni Farina
AU  - Salvatore Monteleone
PY  - 2026
UR  - https://arxiv.org/abs/2610.35403
ID  - 2610.35403
ER  -