@misc{indiciaeac6a37463146,
  title = {NeSySpec: Neuro-Symbolic Technical Intelligence for Auditing Engineering Specifications with an Application to Aircraft},
  author = {Pier Mattia Basciano and Gianvito Antenori and Cristiano Andolfi and Giovanni Farina and Salvatore Monteleone},
  year = {2026},
  url = {https://arxiv.org/abs/2610.35403},
  note = {Source identifier: 2610.35403}
}