Neurosymbolic Auditing of Natural-Language Software Requirements

arXiv:2605.13817v1 Announce Type: cross Abstract: Natural-language software requirements are often ambiguous, inconsistent, and underspecified; in safety-critical domains, these defects propagate into formal models that verify the wrong specification and into implementations that ship unsafe...