AI RESEARCH
Neurosymbolic Auditing of Natural-Language Software Requirements
arXiv CS.AI
•
ArXi:2605.13817v1 Announce Type: cross 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 behavior.