VERAFI: Verified Agentic Financial Intelligence through Neurosymbolic Policy Generation

The article introduces VERAFI, a system for generating financial policies using a neurosymbolic approach. The focus is on creating agentic financial intelligence, implying the system can act autonomously and make decisions. The use of 'verified' suggests a focus on the reliability and trustworthiness of the generated policies. The source being ArXiv indicates this is a research paper, likely detailing the methodology, experiments, and results of the VERAFI system.