{"id":"https://openalex.org/W7161240324","doi":"https://doi.org/10.48550/arxiv.2605.14175","title":"Grounded Continuation: A Linear-Time Runtime Verifier for LLM Conversations","display_name":"Grounded Continuation: A Linear-Time Runtime Verifier for LLM Conversations","publication_year":2026,"publication_date":"2026-05-13","ids":{"openalex":"https://openalex.org/W7161240324","doi":"https://doi.org/10.48550/arxiv.2605.14175"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2605.14175","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.14175","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":"Preprint"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2605.14175","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5135309679","display_name":"Qisong He","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"He, Qisong","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5136229823","display_name":"Yi Dong","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Dong, Yi","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5136235801","display_name":"Xiaowei Huang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Huang, Xiaowei","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/T10028","display_name":"Topic Modeling","score":0.8414000272750854,"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.8414000272750854,"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.06809999793767929,"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/T12128","display_name":"AI in Service Interactions","score":0.01080000028014183,"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/conversation","display_name":"Conversation","score":0.6676999926567078},{"id":"https://openalex.org/keywords/oracle","display_name":"Oracle","score":0.6488000154495239},{"id":"https://openalex.org/keywords/baseline","display_name":"Baseline (sea)","score":0.6281999945640564},{"id":"https://openalex.org/keywords/rotation-formalisms-in-three-dimensions","display_name":"Rotation formalisms in three dimensions","score":0.5819000005722046},{"id":"https://openalex.org/keywords/exploit","display_name":"Exploit","score":0.5521000027656555},{"id":"https://openalex.org/keywords/symbolic-execution","display_name":"Symbolic execution","score":0.4620000123977661},{"id":"https://openalex.org/keywords/construct","display_name":"Construct (python library)","score":0.43810001015663147},{"id":"https://openalex.org/keywords/continuation","display_name":"Continuation","score":0.41839998960494995}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7896000146865845},{"id":"https://openalex.org/C2777200299","wikidata":"https://www.wikidata.org/wiki/Q52943","display_name":"Conversation","level":2,"score":0.6676999926567078},{"id":"https://openalex.org/C55166926","wikidata":"https://www.wikidata.org/wiki/Q2892946","display_name":"Oracle","level":2,"score":0.6488000154495239},{"id":"https://openalex.org/C12725497","wikidata":"https://www.wikidata.org/wiki/Q810247","display_name":"Baseline (sea)","level":2,"score":0.6281999945640564},{"id":"https://openalex.org/C171018156","wikidata":"https://www.wikidata.org/wiki/Q7370306","display_name":"Rotation formalisms in three dimensions","level":2,"score":0.5819000005722046},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.5521000027656555},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.4620000123977661},{"id":"https://openalex.org/C2780801425","wikidata":"https://www.wikidata.org/wiki/Q5164392","display_name":"Construct (python library)","level":2,"score":0.43810001015663147},{"id":"https://openalex.org/C88626702","wikidata":"https://www.wikidata.org/wiki/Q1128903","display_name":"Continuation","level":2,"score":0.41839998960494995},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.40450000762939453},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.3880000114440918},{"id":"https://openalex.org/C2775852435","wikidata":"https://www.wikidata.org/wiki/Q258403","display_name":"Utterance","level":2,"score":0.35530000925064087},{"id":"https://openalex.org/C77618280","wikidata":"https://www.wikidata.org/wiki/Q1155772","display_name":"Scheme (mathematics)","level":2,"score":0.32010000944137573},{"id":"https://openalex.org/C19768560","wikidata":"https://www.wikidata.org/wiki/Q320727","display_name":"Dependency (UML)","level":2,"score":0.31769999861717224},{"id":"https://openalex.org/C16311509","wikidata":"https://www.wikidata.org/wiki/Q4148050","display_name":"Dependency graph","level":3,"score":0.3066999912261963},{"id":"https://openalex.org/C166088908","wikidata":"https://www.wikidata.org/wiki/Q308495","display_name":"Abductive reasoning","level":2,"score":0.3059000074863434},{"id":"https://openalex.org/C202973057","wikidata":"https://www.wikidata.org/wiki/Q7380130","display_name":"Runtime verification","level":3,"score":0.3003999888896942},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.2996000051498413},{"id":"https://openalex.org/C169903001","wikidata":"https://www.wikidata.org/wiki/Q3264987","display_name":"Reciprocity (cultural anthropology)","level":2,"score":0.2930999994277954},{"id":"https://openalex.org/C148417208","wikidata":"https://www.wikidata.org/wiki/Q4825882","display_name":"Authentication (law)","level":2,"score":0.26409998536109924},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2572999894618988},{"id":"https://openalex.org/C1893757","wikidata":"https://www.wikidata.org/wiki/Q3653001","display_name":"Inversion (geology)","level":3,"score":0.25279998779296875},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2515000104904175}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2605.14175","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.14175","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":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2605.14175","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.14175","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":"Preprint"},"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","score":0.4368797242641449,"id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"In":[0],"long":[1],"conversations,":[2],"an":[3,41,45],"LLM":[4,46,203,214],"can":[5],"produce":[6],"a":[7,36,69,81,87,109,132,172,191],"next":[8],"utterance":[9],"that":[10,39,101],"sounds":[11],"plausible":[12],"but":[13],"rests":[14],"on":[15,76,136,176],"premises":[16],"the":[17,93,99,117,125,147,156,177,181,194,207],"conversation":[18,227],"has":[19],"already":[20],"abandoned.":[21],"Context-manipulation":[22],"attacks":[23],"against":[24],"deployed":[25],"agents":[26],"now":[27],"actively":[28],"exploit":[29],"this":[30],"gap.":[31],"We":[32],"close":[33],"it":[34],"with":[35,104,160,226],"runtime":[37],"verifier":[38,118,157,182],"maintains":[40],"explicit":[42],"dependency":[43],"graph:":[44],"classifies":[47],"each":[48],"turn":[49],"into":[50],"one":[51],"of":[52],"8":[53],"update":[54],"operations":[55],"drawn":[56],"from":[57],"four":[58,213],"formalisms":[59],"(dynamic":[60],"epistemic":[61],"logic,":[62,66],"abductive":[63],"reasoning,":[64],"awareness":[65],"argumentation),":[67],"and":[68,108,129,171,201],"symbolic":[70],"engine":[71],"records":[72],"which":[73,77],"claims":[74],"depend":[75],"evidence.":[78],"Checking":[79],"whether":[80],"continuation":[82],"is":[83,158,197,206],"supported":[84],"reduces":[85],"to":[86,96],"graph":[88,95],"walk;":[89],"retraction":[90,217],"propagates":[91],"through":[92],"same":[94],"flag":[97],"exactly":[98],"conclusions":[100],"lose":[102],"support,":[103],"linear":[105],"per-turn":[106],"cost":[107],"formal":[110],"conflict-free":[111],"guarantee.":[112],"On":[113,150],"LongMemEval-KU":[114],"oracle":[115],"(n=78),":[116],"reaches":[119,183],"89.7%":[120],"accuracy":[121,185],"vs.":[122,186],"88.5%":[123],"for":[124,131],"LLM-only":[126],"baseline":[127,134,148],"(+1.3pp)":[128],"87.2%":[130],"transcript-RAG":[133],"matched":[135],"retrieval":[137],"budget":[138],"(+2.6pp);":[139],"wins":[140],"among":[141],"disagreements":[142],"are":[143],"correct":[144],"abstentions":[145],"where":[146],"confabulates.":[149],"LoCoMo's":[151],"60":[152],"official":[153],"QA":[154],"items":[155],"competitive":[159],"retrieval-augmented":[161],"baselines.":[162],"Beyond":[163],"external":[164],"benchmarks,":[165],"we":[166,210],"construct":[167],"two":[168],"multi-agent":[169],"scenarios":[170],"50-item":[173],"grounding":[174],"test:":[175],"15-item":[178],"stale-premise":[179],"subset,":[180],"100%":[184],"93.3%":[187],"(+6.7pp).":[188],"These":[189],"instantiate":[190],"soundness-faithfulness":[192],"decomposition:":[193],"structural":[195],"check":[196,218],"sound":[198],"by":[199],"construction,":[200],"per-deployment":[202],"extraction":[204],"faithfulness":[205],"empirical":[208],"question":[209],"measure":[211],"across":[212],"families.":[215],"The":[216],"plateaus":[219],"at":[220],"microseconds":[221],"while":[222],"history-replay":[223],"grows":[224],"linearly":[225],"length.":[228]},"counts_by_year":[],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2026-05-16T00:00:00"}