VeriFin: A Neurosymbolic Framework for Verifying LLM-Generated Financial Claims
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 requires more than rechecking arithmetic: a verifier must ground the relevant facts, establish the authorized calculation, and determine whethe...