{"id":"https://openalex.org/W7164908637","doi":"https://doi.org/10.48550/arxiv.2606.16603","title":"VeriGraph: Towards Verifiable Data-Analytic Agents","display_name":"VeriGraph: Towards Verifiable Data-Analytic Agents","publication_year":2026,"publication_date":"2026-06-15","ids":{"openalex":"https://openalex.org/W7164908637","doi":"https://doi.org/10.48550/arxiv.2606.16603"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2606.16603","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.16603","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":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2606.16603","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5138724451","display_name":"Jiajie Jin","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Jin, Jiajie","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5138741450","display_name":"Zhao Yang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Yang, Zhao","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5021685174","display_name":"\u5ed6\u6587\u6a02","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Liao, Wenle","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5138710029","display_name":"Yuyang Hu","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Hu, Yuyang","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5138732546","display_name":"Guanting Dong","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Dong, Guanting","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5138749787","display_name":"Xiaoxi Li","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Li, Xiaoxi","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5021436608","display_name":"Y C Zhu","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zhu, Yutao","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5138721017","display_name":"Zhicheng Dou","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Dou, Zhicheng","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"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/T12026","display_name":"Explainable Artificial Intelligence (XAI)","score":0.2897999882698059,"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"}},"topics":[{"id":"https://openalex.org/T12026","display_name":"Explainable Artificial Intelligence (XAI)","score":0.2897999882698059,"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/T10028","display_name":"Topic Modeling","score":0.24199999868869781,"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/T11273","display_name":"Advanced Graph Neural Networks","score":0.14579999446868896,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.7789999842643738},{"id":"https://openalex.org/keywords/verifiable-secret-sharing","display_name":"Verifiable secret sharing","score":0.7497000098228455},{"id":"https://openalex.org/keywords/traceability","display_name":"Traceability","score":0.5411999821662903},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.48420000076293945},{"id":"https://openalex.org/keywords/construct","display_name":"Construct (python library)","score":0.4758000075817108},{"id":"https://openalex.org/keywords/exploit","display_name":"Exploit","score":0.4575999975204468},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.43549999594688416},{"id":"https://openalex.org/keywords/directed-acyclic-graph","display_name":"Directed acyclic graph","score":0.4050999879837036},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.39320001006126404}],"concepts":[{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.7789999842643738},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.777899980545044},{"id":"https://openalex.org/C85847156","wikidata":"https://www.wikidata.org/wiki/Q59015987","display_name":"Verifiable secret sharing","level":3,"score":0.7497000098228455},{"id":"https://openalex.org/C153876917","wikidata":"https://www.wikidata.org/wiki/Q899704","display_name":"Traceability","level":2,"score":0.5411999821662903},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5218999981880188},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.48420000076293945},{"id":"https://openalex.org/C2780801425","wikidata":"https://www.wikidata.org/wiki/Q5164392","display_name":"Construct (python library)","level":2,"score":0.4758000075817108},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.4575999975204468},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.43549999594688416},{"id":"https://openalex.org/C74197172","wikidata":"https://www.wikidata.org/wiki/Q1195339","display_name":"Directed acyclic graph","level":2,"score":0.4050999879837036},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.39320001006126404},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.3905999958515167},{"id":"https://openalex.org/C2776654903","wikidata":"https://www.wikidata.org/wiki/Q2601463","display_name":"SAFER","level":2,"score":0.3095000088214874},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3009999990463257},{"id":"https://openalex.org/C152124472","wikidata":"https://www.wikidata.org/wiki/Q1204361","display_name":"Redundancy (engineering)","level":2,"score":0.3000999987125397},{"id":"https://openalex.org/C154690210","wikidata":"https://www.wikidata.org/wiki/Q1668499","display_name":"Rewriting","level":2,"score":0.2985000014305115},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.29280000925064087},{"id":"https://openalex.org/C91810955","wikidata":"https://www.wikidata.org/wiki/Q7731670","display_name":"Incentive compatibility","level":3,"score":0.2858000099658966},{"id":"https://openalex.org/C132964779","wikidata":"https://www.wikidata.org/wiki/Q2110223","display_name":"Raw data","level":2,"score":0.2842999994754791},{"id":"https://openalex.org/C162319229","wikidata":"https://www.wikidata.org/wiki/Q175263","display_name":"Data structure","level":2,"score":0.2750999927520752},{"id":"https://openalex.org/C146380142","wikidata":"https://www.wikidata.org/wiki/Q1137726","display_name":"Directed graph","level":2,"score":0.272599995136261},{"id":"https://openalex.org/C191399111","wikidata":"https://www.wikidata.org/wiki/Q64861","display_name":"Transitive relation","level":2,"score":0.2669000029563904},{"id":"https://openalex.org/C75949130","wikidata":"https://www.wikidata.org/wiki/Q848010","display_name":"Database transaction","level":2,"score":0.2630999982357025},{"id":"https://openalex.org/C122783720","wikidata":"https://www.wikidata.org/wiki/Q183065","display_name":"Interpreter","level":2,"score":0.25619998574256897},{"id":"https://openalex.org/C2777735758","wikidata":"https://www.wikidata.org/wiki/Q817765","display_name":"Path (computing)","level":2,"score":0.25589999556541443},{"id":"https://openalex.org/C44291984","wikidata":"https://www.wikidata.org/wiki/Q1074173","display_name":"Question answering","level":2,"score":0.25049999356269836}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2606.16603","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.16603","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":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2606.16603","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.16603","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":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"LLM-based":[0],"agents":[1,73],"have":[2],"demonstrated":[3],"strong":[4],"capabilities":[5],"in":[6,44,108],"data-intensive":[7],"analytical":[8],"tasks,":[9],"yet":[10],"their":[11,23],"outputs":[12],"are":[13,41],"rarely":[14],"verifiable:":[15],"a":[16,66,109,145,151,192,210],"reliance":[17],"on":[18,165],"linear":[19],"text":[20],"trajectories":[21],"makes":[22],"reasoning":[24,69],"difficult":[25],"to":[26,52,58,74,97,119,126],"audit.":[27],"In":[28],"particular,":[29],"deterministic":[30],"computations":[31],"over":[32,38],"raw":[33,99,123],"data":[34,124],"and":[35,54,94,105,161],"semantic":[36,130],"deductions":[37],"natural-language":[39,106],"claims":[40,107],"often":[42],"entangled":[43],"an":[45,76],"unstructured":[46],"stream,":[47],"leaving":[48],"numerical":[49],"conclusions":[50],"hard":[51,57],"reproduce":[53],"qualitative":[55],"judgments":[56],"inspect.":[59],"To":[60,138],"address":[61],"this,":[62],"we":[63,142],"propose":[64],"VeriGraph,":[65],"traceable":[67],"neuro-symbolic":[68],"framework":[70],"that":[71,154,169,205],"enables":[72],"construct":[75],"explicit":[77,206],"heterogeneous":[78],"evidence":[79,136,184,199],"directed":[80],"acyclic":[81],"graph":[82,120,140],"(DAG)":[83],"during":[84],"execution.":[85],"VeriGraph":[86,181],"introduces":[87],"three":[88],"evidence-expansion":[89],"primitives,":[90],"namely":[91],"computational,":[92],"grounding,":[93,190],"derivational":[95,162],"expansion,":[96],"connect":[98],"data,":[100],"interpreter":[101],"variables,":[102],"computed":[103],"results,":[104],"unified":[110],"graph.":[111],"Under":[112],"this":[113],"formulation,":[114],"structural":[115],"traceability":[116],"is":[117,132,209,219],"reduced":[118],"reachability":[121],"from":[122],"sources":[125],"terminal":[127],"claims,":[128],"while":[129],"support":[131,200],"measured":[133],"by":[134],"claim-level":[135,198],"evaluation.":[137,201],"improve":[139],"construction,":[141],"further":[143],"design":[144],"graph-based":[146],"policy":[147],"optimization":[148],"strategy":[149],"with":[150,186],"composite":[152],"reward":[153],"jointly":[155],"supervises":[156],"answer":[157],"correctness,":[158],"computational":[159],"integrity,":[160],"coherence.":[163],"Experiments":[164],"four":[166],"benchmarks":[167],"show":[168],"VeriGraph-8B":[170],"achieves":[171],"the":[172],"highest":[173],"overall":[174],"score":[175],"among":[176],"all":[177],"baselines.":[178],"More":[179],"importantly,":[180],"produces":[182],"auditable":[183],"graphs":[185],"substantially":[187],"stronger":[188],"claim":[189],"achieving":[191],"87.61\\%":[193],"Grounding":[194],"Rate":[195],"under":[196],"our":[197],"These":[202],"results":[203],"suggest":[204],"evidence-graph":[207],"construction":[208],"promising":[211],"path":[212],"toward":[213],"verifiable":[214],"data-analytic":[215],"agents.":[216],"Our":[217],"code":[218],"available":[220],"at":[221],"https://github.com/ignorejjj/VeriGraph.":[222]},"counts_by_year":[],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2026-06-17T00:00:00"}