{"id":"https://openalex.org/W7150962868","doi":"https://doi.org/10.48550/arxiv.2604.02617","title":"AutoVerifier: An Agentic Automated Verification Framework Using Large Language Models","display_name":"AutoVerifier: An Agentic Automated Verification Framework Using Large Language Models","publication_year":2026,"publication_date":"2026-04-03","ids":{"openalex":"https://openalex.org/W7150962868","doi":"https://doi.org/10.48550/arxiv.2604.02617"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2604.02617","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.02617","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"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":"Preprint"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2604.02617","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5133050189","display_name":"Yuntao Du","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Du, Yuntao","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5114948995","display_name":"Minh Dinh","orcid":"https://orcid.org/0009-0000-3405-4638"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Dinh, Minh","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5133055385","display_name":"Kaiyuan Zhang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zhang, Kaiyuan","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5133056338","display_name":"Ninghui Li","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Li, Ninghui","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/T13910","display_name":"Computational and Text Analysis Methods","score":0.10260000079870224,"subfield":{"id":"https://openalex.org/subfields/3300","display_name":"General Social Sciences"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T13910","display_name":"Computational and Text Analysis Methods","score":0.10260000079870224,"subfield":{"id":"https://openalex.org/subfields/3300","display_name":"General Social Sciences"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T11710","display_name":"Biomedical Text Mining and Ontologies","score":0.09809999912977219,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T11948","display_name":"Machine Learning in Materials Science","score":0.07620000094175339,"subfield":{"id":"https://openalex.org/subfields/2505","display_name":"Materials Chemistry"},"field":{"id":"https://openalex.org/fields/25","display_name":"Materials Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/assertion","display_name":"Assertion","score":0.6108999848365784},{"id":"https://openalex.org/keywords/bridge","display_name":"Bridge (graph theory)","score":0.5902000069618225},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.5755000114440918},{"id":"https://openalex.org/keywords/metric","display_name":"Metric (unit)","score":0.5264999866485596},{"id":"https://openalex.org/keywords/intelligence-analysis","display_name":"Intelligence analysis","score":0.43860000371932983},{"id":"https://openalex.org/keywords/raw-data","display_name":"Raw data","score":0.3991999924182892},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.3847000002861023},{"id":"https://openalex.org/keywords/black-box","display_name":"Black box","score":0.37790000438690186}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7271000146865845},{"id":"https://openalex.org/C40422974","wikidata":"https://www.wikidata.org/wiki/Q741248","display_name":"Assertion","level":2,"score":0.6108999848365784},{"id":"https://openalex.org/C100776233","wikidata":"https://www.wikidata.org/wiki/Q2532492","display_name":"Bridge (graph theory)","level":2,"score":0.5902000069618225},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.5755000114440918},{"id":"https://openalex.org/C176217482","wikidata":"https://www.wikidata.org/wiki/Q860554","display_name":"Metric (unit)","level":2,"score":0.5264999866485596},{"id":"https://openalex.org/C517642484","wikidata":"https://www.wikidata.org/wiki/Q2388514","display_name":"Intelligence analysis","level":2,"score":0.43860000371932983},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4327999949455261},{"id":"https://openalex.org/C132964779","wikidata":"https://www.wikidata.org/wiki/Q2110223","display_name":"Raw data","level":2,"score":0.3991999924182892},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.39800000190734863},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.3847000002861023},{"id":"https://openalex.org/C94966114","wikidata":"https://www.wikidata.org/wiki/Q29256","display_name":"Black box","level":2,"score":0.37790000438690186},{"id":"https://openalex.org/C105002631","wikidata":"https://www.wikidata.org/wiki/Q4833645","display_name":"Subject-matter expert","level":3,"score":0.3456000089645386},{"id":"https://openalex.org/C2522767166","wikidata":"https://www.wikidata.org/wiki/Q2374463","display_name":"Data science","level":1,"score":0.3206999897956848},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.3179999887943268},{"id":"https://openalex.org/C195324797","wikidata":"https://www.wikidata.org/wiki/Q33742","display_name":"Natural language","level":2,"score":0.3052000105381012},{"id":"https://openalex.org/C2779843651","wikidata":"https://www.wikidata.org/wiki/Q7390335","display_name":"SIGNAL (programming language)","level":2,"score":0.28690001368522644},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.2856999933719635},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.2849000096321106},{"id":"https://openalex.org/C49895821","wikidata":"https://www.wikidata.org/wiki/Q5227368","display_name":"Data verification","level":2,"score":0.2799000144004822},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.2754000127315521},{"id":"https://openalex.org/C4679612","wikidata":"https://www.wikidata.org/wiki/Q866298","display_name":"Aggregate (composite)","level":2,"score":0.2630999982357025},{"id":"https://openalex.org/C25810664","wikidata":"https://www.wikidata.org/wiki/Q44325","display_name":"Ontology","level":2,"score":0.25450000166893005},{"id":"https://openalex.org/C195344581","wikidata":"https://www.wikidata.org/wiki/Q2555318","display_name":"Automated reasoning","level":2,"score":0.2506999969482422}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2604.02617","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.02617","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"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":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2604.02617","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.02617","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"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":"Preprint"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Scientific":[0],"and":[1,27,78,81,91,118,134,151],"Technical":[2],"Intelligence":[3],"(S&TI)":[4],"analysis":[5],"requires":[6],"verifying":[7],"complex":[8],"technical":[9,43,52,158],"claims":[10,44],"across":[11,71],"rapidly":[12],"growing":[13],"literature,":[14],"where":[15,105],"existing":[16],"approaches":[17],"fail":[18],"to":[19],"bridge":[20],"the":[21,59,106,122,149],"verification":[22,41,145],"gap":[23],"between":[24],"surface-level":[25],"accuracy":[26],"deeper":[28],"methodological":[29],"validity.":[30],"We":[31,96],"present":[32],"AutoVerifier,":[33],"an":[34],"LLM-based":[35],"agentic":[36],"framework":[37],"that":[38,67,142],"automates":[39],"end-to-end":[40],"of":[42,58,132,153],"without":[45],"requiring":[46],"domain":[47],"expertise.":[48],"AutoVerifier":[49,98],"decomposes":[50],"every":[51],"assertion":[53],"into":[54,160],"structured":[55,69,143],"claim":[56,82],"triples":[57],"form":[60],"(Subject,":[61],"Predicate,":[62],"Object),":[63],"constructing":[64],"knowledge":[65],"graphs":[66],"enable":[68],"reasoning":[70],"six":[72],"progressively":[73],"enriching":[74],"layers:":[75],"corpus":[76],"construction":[77],"ingestion,":[79],"entity":[80],"extraction,":[83],"intra-document":[84],"verification,":[85,87],"cross-source":[86,126],"external":[88],"signal":[89],"corroboration,":[90],"final":[92,137],"hypothesis":[93],"matrix":[94],"generation.":[95],"demonstrate":[97],"on":[99],"a":[100,136],"contested":[101],"quantum":[102,113],"computing":[103],"claim,":[104],"framework,":[107],"operated":[108],"by":[109],"analysts":[110],"with":[111],"no":[112],"expertise,":[114],"automatically":[115],"identified":[116],"overclaims":[117],"metric":[119],"inconsistencies":[120],"within":[121],"target":[123],"paper,":[124],"traced":[125],"contradictions,":[127],"uncovered":[128],"undisclosed":[129],"commercial":[130],"conflicts":[131],"interest,":[133],"produced":[135],"assessment.":[138],"These":[139],"results":[140],"show":[141],"LLM":[144],"can":[146],"reliably":[147],"evaluate":[148],"validity":[150],"maturity":[152],"emerging":[154],"technologies,":[155],"turning":[156],"raw":[157],"documents":[159],"traceable,":[161],"evidence-backed":[162],"intelligence":[163],"assessments.":[164]},"counts_by_year":[],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2026-04-07T00:00:00"}