{"id":"https://openalex.org/W7116105420","doi":"https://doi.org/10.48550/arxiv.2512.14744","title":"VERAFI: Verified Agentic Financial Intelligence through Neurosymbolic Policy Generation","display_name":"VERAFI: Verified Agentic Financial Intelligence through Neurosymbolic Policy Generation","publication_year":2025,"publication_date":"2025-12-12","ids":{"openalex":"https://openalex.org/W7116105420","doi":"https://doi.org/10.48550/arxiv.2512.14744"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2512.14744","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2512.14744","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2512.14744","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Akinfaderin, Adewale","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Akinfaderin, Adewale","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":null,"display_name":"Subramanian, Shreyas","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Subramanian, Shreyas","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11326","display_name":"Stock Market Forecasting Methods","score":0.415800005197525,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T11326","display_name":"Stock Market Forecasting Methods","score":0.415800005197525,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T12026","display_name":"Explainable Artificial Intelligence (XAI)","score":0.19529999792575836,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11714","display_name":"Multimodal Machine Learning Applications","score":0.050999999046325684,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/trustworthiness","display_name":"Trustworthiness","score":0.6007000207901001},{"id":"https://openalex.org/keywords/point","display_name":"Point (geometry)","score":0.48489999771118164},{"id":"https://openalex.org/keywords/investment","display_name":"Investment (military)","score":0.4674000144004822},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.4004000127315521},{"id":"https://openalex.org/keywords/financial-risk","display_name":"Financial risk","score":0.3353999853134155},{"id":"https://openalex.org/keywords/financial-market","display_name":"Financial market","score":0.32409998774528503},{"id":"https://openalex.org/keywords/investment-decisions","display_name":"Investment decisions","score":0.31859999895095825}],"concepts":[{"id":"https://openalex.org/C153701036","wikidata":"https://www.wikidata.org/wiki/Q659974","display_name":"Trustworthiness","level":2,"score":0.6007000207901001},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5020999908447266},{"id":"https://openalex.org/C28719098","wikidata":"https://www.wikidata.org/wiki/Q44946","display_name":"Point (geometry)","level":2,"score":0.48489999771118164},{"id":"https://openalex.org/C27548731","wikidata":"https://www.wikidata.org/wiki/Q88272","display_name":"Investment (military)","level":3,"score":0.4674000144004822},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.4004000127315521},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.3529999852180481},{"id":"https://openalex.org/C76073288","wikidata":"https://www.wikidata.org/wiki/Q1337875","display_name":"Financial risk","level":2,"score":0.3353999853134155},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.32850000262260437},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.32820001244544983},{"id":"https://openalex.org/C19244329","wikidata":"https://www.wikidata.org/wiki/Q208697","display_name":"Financial market","level":2,"score":0.32409998774528503},{"id":"https://openalex.org/C2778865806","wikidata":"https://www.wikidata.org/wiki/Q6060850","display_name":"Investment decisions","level":3,"score":0.31859999895095825},{"id":"https://openalex.org/C139043278","wikidata":"https://www.wikidata.org/wiki/Q837171","display_name":"Financial services","level":2,"score":0.29350000619888306},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.2856999933719635},{"id":"https://openalex.org/C2994455448","wikidata":"https://www.wikidata.org/wiki/Q582577","display_name":"Financial policy","level":2,"score":0.28290000557899475},{"id":"https://openalex.org/C195344581","wikidata":"https://www.wikidata.org/wiki/Q2555318","display_name":"Automated reasoning","level":2,"score":0.28200000524520874},{"id":"https://openalex.org/C112930515","wikidata":"https://www.wikidata.org/wiki/Q4389547","display_name":"Risk analysis (engineering)","level":1,"score":0.27889999747276306},{"id":"https://openalex.org/C23925645","wikidata":"https://www.wikidata.org/wiki/Q5449731","display_name":"Financial modeling","level":2,"score":0.263700008392334},{"id":"https://openalex.org/C157170001","wikidata":"https://www.wikidata.org/wiki/Q4781507","display_name":"Applications of artificial intelligence","level":2,"score":0.26260000467300415},{"id":"https://openalex.org/C162118730","wikidata":"https://www.wikidata.org/wiki/Q1128453","display_name":"Actuarial science","level":1,"score":0.25189998745918274}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2512.14744","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2512.14744","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2512.14744","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2512.14744","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.4969785213470459,"display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Financial":[0,39],"AI":[1,144],"systems":[2],"suffer":[3],"from":[4],"a":[5,110,138],"critical":[6],"blind":[7],"spot:":[8],"while":[9,84],"Retrieval-Augmented":[10],"Generation":[11],"(RAG)":[12],"excels":[13],"at":[14],"finding":[15],"relevant":[16],"documents,":[17],"language":[18],"models":[19],"still":[20],"generate":[21],"calculation":[22],"errors":[23],"and":[24,57,64,73,123,156],"regulatory":[25,152],"violations":[26],"during":[27],"reasoning,":[28],"even":[29],"with":[30,44,60,88],"perfect":[31],"retrieval.":[32],"This":[33],"paper":[34],"introduces":[35],"VERAFI":[36,52,136],"(Verified":[37],"Agentic":[38],"Intelligence),":[40],"an":[41,100],"agentic":[42,117],"framework":[43],"neurosymbolic":[45,105],"policy":[46,106],"generation":[47],"for":[48],"verified":[49],"financial":[50,61,128,143],"intelligence.":[51],"combines":[53],"state-of-the-art":[54],"dense":[55,86],"retrieval":[56,87],"cross-encoder":[58],"reranking":[59,89],"tool-enabled":[62],"agents":[63],"automated":[65],"reasoning":[66,134],"policies":[67],"covering":[68],"GAAP":[69],"compliance,":[70,153],"SEC":[71],"requirements,":[72],"mathematical":[74,122],"validation.":[75],"Our":[76],"comprehensive":[77],"evaluation":[78],"on":[79],"FinanceBench":[80],"demonstrates":[81],"remarkable":[82],"improvements:":[83],"traditional":[85],"achieves":[90],"only":[91],"52.4\\%":[92],"factual":[93],"correctness,":[94],"VERAFI's":[95],"integrated":[96],"approach":[97],"reaches":[98],"94.7\\%,":[99],"81\\%":[101],"relative":[102],"improvement.":[103],"The":[104],"layer":[107],"alone":[108],"contributes":[109],"4.3":[111],"percentage":[112],"point":[113],"gain":[114],"over":[115],"pure":[116],"processing,":[118],"specifically":[119],"targeting":[120],"persistent":[121],"logical":[124],"errors.":[125],"By":[126],"integrating":[127],"domain":[129],"expertise":[130],"directly":[131],"into":[132],"the":[133,147],"process,":[135],"offers":[137],"practical":[139],"pathway":[140],"toward":[141],"trustworthy":[142],"that":[145],"meets":[146],"stringent":[148],"accuracy":[149],"demands":[150],"of":[151],"investment":[154],"decisions,":[155],"risk":[157],"management.":[158]},"counts_by_year":[],"updated_date":"2025-12-19T19:45:34.690201","created_date":"2025-12-19T00:00:00"}