VERAFI：通过神经符号策略生成的经过验证的智能金融代理

这篇文章介绍了 VERAFI，一个使用神经符号方法生成金融策略的系统。重点是创建智能金融代理，这意味着该系统可以自主行动并做出决策。使用“经过验证”表明了对生成的策略的可靠性和可信度的关注。来源是 ArXiv 表明这是一篇研究论文，可能详细介绍了 VERAFI 系统的方法、实验和结果。