{"id":"https://openalex.org/W7138217030","doi":"https://doi.org/10.1609/aaai.v40i36.40322","title":"Graph of Verification: Structured Verification of LLM Reasoning with Directed Acyclic Graphs","display_name":"Graph of Verification: Structured Verification of LLM Reasoning with Directed Acyclic Graphs","publication_year":2026,"publication_date":"2026-03-14","ids":{"openalex":"https://openalex.org/W7138217030","doi":"https://doi.org/10.1609/aaai.v40i36.40322"},"language":null,"primary_location":{"id":"doi:10.1609/aaai.v40i36.40322","is_oa":true,"landing_page_url":"https://doi.org/10.1609/aaai.v40i36.40322","pdf_url":"https://ojs.aaai.org/index.php/AAAI/article/download/40322/44283","source":{"id":"https://openalex.org/S4210191458","display_name":"Proceedings of the AAAI Conference on Artificial Intelligence","issn_l":"2159-5399","issn":["2159-5399","2374-3468"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310320058","host_organization_name":"Association for the Advancement of Artificial Intelligence","host_organization_lineage":["https://openalex.org/P4310320058"],"host_organization_lineage_names":["Association for the Advancement of Artificial Intelligence"],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the AAAI Conference on Artificial Intelligence","raw_type":"journal-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://ojs.aaai.org/index.php/AAAI/article/download/40322/44283","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5108372674","display_name":"J. Fang","orcid":"https://orcid.org/0009-0007-1724-4764"},"institutions":[{"id":"https://openalex.org/I154099455","display_name":"Shandong University","ror":"https://ror.org/0207yh398","country_code":"CN","type":"education","lineage":["https://openalex.org/I154099455"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jiwei Fang","raw_affiliation_strings":["Shandong University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Shandong University","institution_ids":["https://openalex.org/I154099455"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5129666100","display_name":"Bin Zhang","orcid":null},"institutions":[{"id":"https://openalex.org/I4210094879","display_name":"Shandong Institute of Automation","ror":"https://ror.org/00qdtba35","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4210094879","https://openalex.org/I4210142748"]},{"id":"https://openalex.org/I4210112150","display_name":"Institute of Automation","ror":"https://ror.org/022c3hy66","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210112150"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Bin Zhang","raw_affiliation_strings":["The Key Laboratory of Cognition and Decision Intelligence for Complex Systems, Institute of Automation, Chinese Academy of Sciences"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"The Key Laboratory of Cognition and Decision Intelligence for Complex Systems, Institute of Automation, Chinese Academy of Sciences","institution_ids":["https://openalex.org/I4210112150","https://openalex.org/I4210094879"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5129659750","display_name":"Changwei Wang","orcid":null},"institutions":[{"id":"https://openalex.org/I152269853","display_name":"Qilu University of Technology","ror":"https://ror.org/04hyzq608","country_code":"CN","type":"education","lineage":["https://openalex.org/I152269853"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Changwei Wang","raw_affiliation_strings":["Qilu University of Technology"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Qilu University of Technology","institution_ids":["https://openalex.org/I152269853"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5129744882","display_name":"Jin Wan","orcid":null},"institutions":[{"id":"https://openalex.org/I152269853","display_name":"Qilu University of Technology","ror":"https://ror.org/04hyzq608","country_code":"CN","type":"education","lineage":["https://openalex.org/I152269853"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jin Wan","raw_affiliation_strings":["Qilu University of Technology"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Qilu University of Technology","institution_ids":["https://openalex.org/I152269853"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5129656833","display_name":"Zhiwei Xu","orcid":null},"institutions":[{"id":"https://openalex.org/I154099455","display_name":"Shandong University","ror":"https://ror.org/0207yh398","country_code":"CN","type":"education","lineage":["https://openalex.org/I154099455"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhiwei Xu","raw_affiliation_strings":["Shandong University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Shandong University","institution_ids":["https://openalex.org/I154099455"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":"40","issue":"36","first_page":"30665","last_page":"30672"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10028","display_name":"Topic Modeling","score":0.36570000648498535,"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/T10028","display_name":"Topic Modeling","score":0.36570000648498535,"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.17919999361038208,"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/T10181","display_name":"Natural Language Processing Techniques","score":0.11150000244379044,"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/mathematical-proof","display_name":"Mathematical proof","score":0.6021000146865845},{"id":"https://openalex.org/keywords/automated-reasoning","display_name":"Automated reasoning","score":0.5351999998092651},{"id":"https://openalex.org/keywords/adaptability","display_name":"Adaptability","score":0.504800021648407},{"id":"https://openalex.org/keywords/core","display_name":"Core (optical fiber)","score":0.48809999227523804},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.47380000352859497},{"id":"https://openalex.org/keywords/flexibility","display_name":"Flexibility (engineering)","score":0.4542999863624573},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.41760000586509705},{"id":"https://openalex.org/keywords/natural-language","display_name":"Natural language","score":0.4174000024795532},{"id":"https://openalex.org/keywords/reasoning-system","display_name":"Reasoning system","score":0.3846000134944916}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7792999744415283},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.6021000146865845},{"id":"https://openalex.org/C195344581","wikidata":"https://www.wikidata.org/wiki/Q2555318","display_name":"Automated reasoning","level":2,"score":0.5351999998092651},{"id":"https://openalex.org/C177606310","wikidata":"https://www.wikidata.org/wiki/Q5674297","display_name":"Adaptability","level":2,"score":0.504800021648407},{"id":"https://openalex.org/C2164484","wikidata":"https://www.wikidata.org/wiki/Q5170150","display_name":"Core (optical fiber)","level":2,"score":0.48809999227523804},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4837000072002411},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.47380000352859497},{"id":"https://openalex.org/C2780598303","wikidata":"https://www.wikidata.org/wiki/Q65921492","display_name":"Flexibility (engineering)","level":2,"score":0.4542999863624573},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.41760000586509705},{"id":"https://openalex.org/C195324797","wikidata":"https://www.wikidata.org/wiki/Q33742","display_name":"Natural language","level":2,"score":0.4174000024795532},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4077000021934509},{"id":"https://openalex.org/C89288958","wikidata":"https://www.wikidata.org/wiki/Q7301504","display_name":"Reasoning system","level":2,"score":0.3846000134944916},{"id":"https://openalex.org/C62073222","wikidata":"https://www.wikidata.org/wiki/Q1572108","display_name":"Natural deduction","level":2,"score":0.38100001215934753},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.358599990606308},{"id":"https://openalex.org/C2777210771","wikidata":"https://www.wikidata.org/wiki/Q4927124","display_name":"Block (permutation group theory)","level":2,"score":0.3564999997615814},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3490000069141388},{"id":"https://openalex.org/C74197172","wikidata":"https://www.wikidata.org/wiki/Q1195339","display_name":"Directed acyclic graph","level":2,"score":0.3483999967575073},{"id":"https://openalex.org/C62611344","wikidata":"https://www.wikidata.org/wiki/Q1062658","display_name":"Node (physics)","level":2,"score":0.32019999623298645},{"id":"https://openalex.org/C159032336","wikidata":"https://www.wikidata.org/wiki/Q2488768","display_name":"Non-monotonic logic","level":2,"score":0.3109999895095825},{"id":"https://openalex.org/C558772884","wikidata":"https://www.wikidata.org/wiki/Q1508564","display_name":"Graph rewriting","level":3,"score":0.29910001158714294},{"id":"https://openalex.org/C62460635","wikidata":"https://www.wikidata.org/wiki/Q5508853","display_name":"Functional verification","level":3,"score":0.2851000130176544},{"id":"https://openalex.org/C146380142","wikidata":"https://www.wikidata.org/wiki/Q1137726","display_name":"Directed graph","level":2,"score":0.27309998869895935},{"id":"https://openalex.org/C2993829489","wikidata":"https://www.wikidata.org/wiki/Q5153317","display_name":"Common core","level":3,"score":0.27090001106262207},{"id":"https://openalex.org/C2779439875","wikidata":"https://www.wikidata.org/wiki/Q1078276","display_name":"Natural language understanding","level":3,"score":0.2646999955177307},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.257999986410141},{"id":"https://openalex.org/C2776608160","wikidata":"https://www.wikidata.org/wiki/Q4785462","display_name":"Natural (archaeology)","level":2,"score":0.2578999996185303}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1609/aaai.v40i36.40322","is_oa":true,"landing_page_url":"https://doi.org/10.1609/aaai.v40i36.40322","pdf_url":"https://ojs.aaai.org/index.php/AAAI/article/download/40322/44283","source":{"id":"https://openalex.org/S4210191458","display_name":"Proceedings of the AAAI Conference on Artificial Intelligence","issn_l":"2159-5399","issn":["2159-5399","2374-3468"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310320058","host_organization_name":"Association for the Advancement of Artificial Intelligence","host_organization_lineage":["https://openalex.org/P4310320058"],"host_organization_lineage_names":["Association for the Advancement of Artificial Intelligence"],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the AAAI Conference on Artificial Intelligence","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1609/aaai.v40i36.40322","is_oa":true,"landing_page_url":"https://doi.org/10.1609/aaai.v40i36.40322","pdf_url":"https://ojs.aaai.org/index.php/AAAI/article/download/40322/44283","source":{"id":"https://openalex.org/S4210191458","display_name":"Proceedings of the AAAI Conference on Artificial Intelligence","issn_l":"2159-5399","issn":["2159-5399","2374-3468"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310320058","host_organization_name":"Association for the Advancement of Artificial Intelligence","host_organization_lineage":["https://openalex.org/P4310320058"],"host_organization_lineage_names":["Association for the Advancement of Artificial Intelligence"],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the AAAI Conference on Artificial Intelligence","raw_type":"journal-article"},"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","score":0.627951979637146,"id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7138217030.pdf","grobid_xml":"https://content.openalex.org/works/W7138217030.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Verifying":[0],"the":[1,57,101,105,114],"complex":[2],"and":[3,67,120,126,144],"multi-step":[4],"reasoning":[5,40,106,155],"of":[6,59,104],"Large":[7],"Language":[8],"Models":[9],"(LLMs)":[10],"is":[11,24,73],"a":[12,25,62,150],"critical":[13],"challenge,":[14],"as":[15],"holistic":[16,142],"methods":[17,30],"often":[18,32],"overlook":[19],"localized":[20],"flaws.":[21],"Step-by-step":[22],"validation":[23],"promising":[26],"alternative,":[27],"yet":[28],"existing":[29],"are":[31],"rigid.":[33],"They":[34],"struggle":[35],"to":[36,38,45,83,94,112],"adapt":[37],"diverse":[39],"structures,":[41],"from":[42],"formal":[43,92],"proofs":[44],"informal":[46],"natural":[47,98],"language":[48],"narratives.":[49],"To":[50],"address":[51],"this":[52],"adaptability":[53],"gap,":[54],"we":[55],"propose":[56],"Graph":[58],"Verification":[60],"(GoV),":[61],"novel":[63],"framework":[64],"for":[65,91,97,153],"adaptable":[66],"multi-granular":[68],"verification.":[69,156],"GoV's":[70,130,136],"core":[71],"innovation":[72],"its":[74,86],"flexible":[75],"node":[76],"block":[77],"architecture.":[78],"This":[79,108],"mechanism":[80],"allows":[81,110],"GoV":[82,111],"adaptively":[84],"adjust":[85],"verification":[87,118],"granularity\u2014from":[88],"atomic":[89],"steps":[90],"tasks":[93],"entire":[95],"paragraphs":[96],"language\u2014to":[99],"match":[100],"native":[102],"structure":[103],"process.":[107],"flexibility":[109],"resolve":[113],"fundamental":[115],"trade-off":[116],"between":[117],"precision":[119],"robustness.":[121],"Experiments":[122],"on":[123],"both":[124,141],"well-structured":[125],"loosely-structured":[127],"benchmarks":[128],"demonstrate":[129],"versatility.":[131],"The":[132],"results":[133],"show":[134],"that":[135],"adaptive":[137],"approach":[138],"significantly":[139],"outperforms":[140],"baselines":[143],"other":[145],"state-of-the-art":[146],"decomposition-based":[147],"methods,":[148],"establishing":[149],"new":[151],"standard":[152],"training-free":[154]},"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2026-03-18T00:00:00"}