{"id":"https://openalex.org/W7163887609","doi":"https://doi.org/10.48550/arxiv.2606.07338","title":"VeriDrive: Verifiable Counterfactual Supervision for Cost-Efficient Vision-Language Planning","display_name":"VeriDrive: Verifiable Counterfactual Supervision for Cost-Efficient Vision-Language Planning","publication_year":2026,"publication_date":"2026-06-05","ids":{"openalex":"https://openalex.org/W7163887609","doi":"https://doi.org/10.48550/arxiv.2606.07338"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2606.07338","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.07338","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.07338","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5119870183","display_name":"Zikai Zhang","orcid":"https://orcid.org/0009-0009-0291-0140"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zhang, Zikai","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5038258635","display_name":"Hubert P. H. Shum","orcid":"https://orcid.org/0000-0001-5651-6039"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Shum, Hubert P. H.","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5045115593","display_name":"Toby P. Breckon","orcid":"https://orcid.org/0000-0003-1666-7590"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Breckon, Toby P.","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/T11714","display_name":"Multimodal Machine Learning Applications","score":0.8463000059127808,"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"}},"topics":[{"id":"https://openalex.org/T11714","display_name":"Multimodal Machine Learning Applications","score":0.8463000059127808,"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"}},{"id":"https://openalex.org/T10586","display_name":"Robotic Path Planning Algorithms","score":0.019600000232458115,"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"}},{"id":"https://openalex.org/T10906","display_name":"AI-based Problem Solving and Planning","score":0.014499999582767487,"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/counterfactual-thinking","display_name":"Counterfactual thinking","score":0.8610000014305115},{"id":"https://openalex.org/keywords/verifiable-secret-sharing","display_name":"Verifiable secret sharing","score":0.5943999886512756},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.5544999837875366},{"id":"https://openalex.org/keywords/intersection","display_name":"Intersection (aeronautics)","score":0.5133000016212463},{"id":"https://openalex.org/keywords/bridge","display_name":"Bridge (graph theory)","score":0.49779999256134033},{"id":"https://openalex.org/keywords/scripting-language","display_name":"Scripting language","score":0.4675999879837036},{"id":"https://openalex.org/keywords/counterfactual-conditional","display_name":"Counterfactual conditional","score":0.444599986076355},{"id":"https://openalex.org/keywords/validator","display_name":"Validator","score":0.4410000145435333},{"id":"https://openalex.org/keywords/scale","display_name":"Scale (ratio)","score":0.3797000050544739}],"concepts":[{"id":"https://openalex.org/C108650721","wikidata":"https://www.wikidata.org/wiki/Q1783253","display_name":"Counterfactual thinking","level":2,"score":0.8610000014305115},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.654699981212616},{"id":"https://openalex.org/C85847156","wikidata":"https://www.wikidata.org/wiki/Q59015987","display_name":"Verifiable secret sharing","level":3,"score":0.5943999886512756},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.5544999837875366},{"id":"https://openalex.org/C64543145","wikidata":"https://www.wikidata.org/wiki/Q162942","display_name":"Intersection (aeronautics)","level":2,"score":0.5133000016212463},{"id":"https://openalex.org/C100776233","wikidata":"https://www.wikidata.org/wiki/Q2532492","display_name":"Bridge (graph theory)","level":2,"score":0.49779999256134033},{"id":"https://openalex.org/C61423126","wikidata":"https://www.wikidata.org/wiki/Q187432","display_name":"Scripting language","level":2,"score":0.4675999879837036},{"id":"https://openalex.org/C71889745","wikidata":"https://www.wikidata.org/wiki/Q1783264","display_name":"Counterfactual conditional","level":3,"score":0.444599986076355},{"id":"https://openalex.org/C35292069","wikidata":"https://www.wikidata.org/wiki/Q1575458","display_name":"Validator","level":2,"score":0.4410000145435333},{"id":"https://openalex.org/C2778755073","wikidata":"https://www.wikidata.org/wiki/Q10858537","display_name":"Scale (ratio)","level":2,"score":0.3797000050544739},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.36149999499320984},{"id":"https://openalex.org/C2777655017","wikidata":"https://www.wikidata.org/wiki/Q1501161","display_name":"Toolbox","level":2,"score":0.3537999987602234},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.34869998693466187},{"id":"https://openalex.org/C2779231336","wikidata":"https://www.wikidata.org/wiki/Q7534724","display_name":"Sketch","level":2,"score":0.3424000144004822},{"id":"https://openalex.org/C87833898","wikidata":"https://www.wikidata.org/wiki/Q1060280","display_name":"Advanced driver assistance systems","level":2,"score":0.3382999897003174},{"id":"https://openalex.org/C41065033","wikidata":"https://www.wikidata.org/wiki/Q2825412","display_name":"Adversary","level":2,"score":0.32269999384880066},{"id":"https://openalex.org/C176777502","wikidata":"https://www.wikidata.org/wiki/Q4774623","display_name":"Anticipation (artificial intelligence)","level":2,"score":0.30649998784065247},{"id":"https://openalex.org/C48145219","wikidata":"https://www.wikidata.org/wiki/Q1335365","display_name":"Security token","level":2,"score":0.30329999327659607},{"id":"https://openalex.org/C164155591","wikidata":"https://www.wikidata.org/wiki/Q2067766","display_name":"Satisfiability modulo theories","level":2,"score":0.295199990272522},{"id":"https://openalex.org/C42475967","wikidata":"https://www.wikidata.org/wiki/Q194292","display_name":"Operations research","level":1,"score":0.2892000079154968},{"id":"https://openalex.org/C159032336","wikidata":"https://www.wikidata.org/wiki/Q2488768","display_name":"Non-monotonic logic","level":2,"score":0.2890999913215637},{"id":"https://openalex.org/C112930515","wikidata":"https://www.wikidata.org/wiki/Q4389547","display_name":"Risk analysis (engineering)","level":1,"score":0.2842999994754791},{"id":"https://openalex.org/C539667460","wikidata":"https://www.wikidata.org/wiki/Q2414942","display_name":"Management science","level":1,"score":0.27970001101493835},{"id":"https://openalex.org/C2779458634","wikidata":"https://www.wikidata.org/wiki/Q24963715","display_name":"Debiasing","level":2,"score":0.2759999930858612},{"id":"https://openalex.org/C29122968","wikidata":"https://www.wikidata.org/wiki/Q1414816","display_name":"Incentive","level":2,"score":0.2745000123977661},{"id":"https://openalex.org/C2776999362","wikidata":"https://www.wikidata.org/wiki/Q2349274","display_name":"Planner","level":2,"score":0.2703999876976013},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.26809999346733093},{"id":"https://openalex.org/C34413123","wikidata":"https://www.wikidata.org/wiki/Q170978","display_name":"Robotics","level":3,"score":0.25999999046325684},{"id":"https://openalex.org/C9616225","wikidata":"https://www.wikidata.org/wiki/Q3929429","display_name":"Semantic reasoner","level":2,"score":0.2558000087738037},{"id":"https://openalex.org/C183469790","wikidata":"https://www.wikidata.org/wiki/Q333501","display_name":"Crash","level":2,"score":0.2535000145435333},{"id":"https://openalex.org/C193856179","wikidata":"https://www.wikidata.org/wiki/Q5251100","display_name":"Defeasible estate","level":2,"score":0.2529999911785126}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2606.07338","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.07338","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.07338","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.07338","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":[{"id":"https://metadata.un.org/sdg/11","score":0.4393305778503418,"display_name":"Sustainable cities and communities"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Vision-language":[0],"driving":[1,15,40],"models":[2],"increasingly":[3],"use":[4],"reasoning":[5,41],"supervision":[6,143],"to":[7,22],"bridge":[8],"perception,":[9],"prediction,":[10],"and":[11,20,67,97,112,123,135,150,156],"planning,":[12],"but":[13],"existing":[14],"rationales":[16],"are":[17,153],"often":[18],"free-form":[19],"expensive":[21],"generate":[23],"with":[24,58,80],"frontier":[25],"models.":[26],"We":[27,90],"present":[28],"VeriDrive,":[29],"a":[30,43],"framework":[31],"for":[32],"constructing":[33],"planning-oriented,":[34],"verifiable":[35],"counterfactual":[36],"supervision.":[37],"VeriDrive":[38,76,93,108],"converts":[39],"into":[42],"structured":[44,136],"Perception-Evaluation-Revision":[45],"chain":[46],"that":[47,107,131],"grounds":[48],"key":[49],"objects":[50],"in":[51],"future":[52],"motion,":[53],"evaluates":[54],"alternative":[55],"ego":[56],"trajectories":[57],"rule-checkable":[59],"evidence,":[60],"revises":[61],"risky":[62],"intent":[63],"toward":[64],"expert":[65],"behavior,":[66],"produces":[68],"final":[69],"planning":[70,142],"targets.":[71],"To":[72],"scale":[73],"data":[74],"construction,":[75],"combines":[77],"local":[78],"generation":[79,121],"validator-guided":[81],"selective":[82],"correction,":[83],"escalating":[84],"only":[85],"invalid":[86],"or":[87],"difficult":[88],"samples.":[89],"build":[91],"the":[92,100,161],"dataset":[94],"on":[95],"nuScenes":[96],"train":[98],"under":[99,144],"Omni-Q":[101],"protocol.":[102],"Controlled":[103],"open-loop":[104],"experiments":[105],"show":[106,130],"improves":[109],"L2,":[110],"Collision,":[111],"Intersection":[113],"over":[114],"OmniDrive":[115],"while":[116],"reducing":[117],"logged":[118],"token":[119],"usage,":[120],"time,":[122],"actual":[124],"paid":[125],"LLM/VLM":[126],"cost.":[127],"These":[128],"results":[129],"auditable":[132],"intermediate":[133],"fields":[134],"revision":[137],"targets":[138],"can":[139],"improve":[140],"vision-language":[141],"realistic":[145],"annotation":[146],"budgets.":[147],"Code,":[148],"prompts,":[149],"validator":[151],"scripts":[152],"coming":[154],"soon":[155],"will":[157],"be":[158],"released":[159],"after":[160],"review":[162],"process.":[163]},"counts_by_year":[],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2026-06-09T00:00:00"}