2 papers
cs.CE2026
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…
cs.SE2026
AutoCedar: An Agentic Framework for Verifier-Guided Access Control Policy Synthesis
Adarsh Vatsa, Sachi Shome, Yingming Zhou +1
Large Language Models are increasingly used to turn natural-language requirements into code. In access control, that shortcut is dangerous: a generated policy can compile and read…