1 citations · 1 across the 3 of their papers we have counts for
4 papers
VeriFin: A Neurosymbolic Framework for Verifying LLM-Generated Financial Claims
Bethel Hall, Sachi Shome, William Eiers
Large language models often produce plausible numerical claims from financial filings while using the wrong reporting period, unit, line item, or formula. Verifying such claims req…
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…
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…
CloudFix: Automated Policy Repair for Cloud Access Control Policies Using Large Language Models
Bethel Hall, Owen Ungaro, William Eiers
Access control policies are vital for securing modern cloud computing, where organizations must manage access to sensitive data across thousands of users in distributed system sett…