1 citations · 1 across the 3 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2026
Neurosymbolic Auditing of Natural-Language Software Requirements
Bethel Hall, William Eiers
Natural-language software requirements are often ambiguous, inconsistent, and underspecified; in safety-critical domains, these defects propagate into formal models that verify the…
cs.SE2025★ 1 cited
Neurosymbolic Characterization for Reliable Access Control Policy Analysis
Adarsh Vatsa, Bethel Hall, William Eiers
Access control policies are reliability-critical configuration artifacts in cloud systems, yet administrators frequently struggle to verify that a policy permits exactly what they…