VeriFin: A Neurosymbolic Framework for Verifying LLM-Generated Financial Claims

arXiv:2608.10213 · cs.CE · Submitted 2026-08-10 · Read on arXiv

cs.CE

Submitted: 2026-08-10

Updated: 2026-10-23

Terminology

• Verification — 3× in this paper · explained in 2 episodes
• Benchmark — 1× in this paper · explained in 2 episodes
• Core — 1× in this paper · explained in 2 episodes
• Generator — 1× in this paper · explained in 2 episodes
• Verifier — 1× in this paper · explained in 2 episodes

Related papers

• Constrained Sensing and Reliable State Estimation with Shallow Recurrent Decoders on a TRIGA Mark II Reactor
• A finite-element-inspired bipartite graph learned simulator for manufacturability assessment in large-deformation sheet forming
• Non-linear mechanical field reconstruction coupling recurrent neural networks with physics-informed graph neural networks
• Neural-Parameterized Cellular Automata for Wildfire Spread
• A mesh-based neural energy method for the simulation of heterogeneous composites
• Evidence-Unit Fairness and the Limits of Query-Adaptive Sparse-Dense Fusion in Financial Document Retrieval