{"id":"https://openalex.org/W7158593252","doi":"https://doi.org/10.48550/arxiv.2604.26180","title":"Evergreen: Efficient Claim Verification for Semantic Aggregates","display_name":"Evergreen: Efficient Claim Verification for Semantic Aggregates","publication_year":2026,"publication_date":"2026-04-28","ids":{"openalex":"https://openalex.org/W7158593252","doi":"https://doi.org/10.48550/arxiv.2604.26180"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2604.26180","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.26180","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":"article"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2604.26180","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5101460186","display_name":"Alexander Lee","orcid":"https://orcid.org/0000-0001-7809-8181"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Lee, Alexander W.","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5063534887","display_name":"Benjamin Han","orcid":"https://orcid.org/0000-0002-2350-7280"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Han, Benjamin","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5043668496","display_name":"Shayak Sen","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Sen, Shayak","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5134880189","display_name":"Sam Yeom","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Yeom, Sam","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5134916392","display_name":"Ugur Cetintemel","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Cetintemel, Ugur","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5111177928","display_name":"Anupam Datta","orcid":"https://orcid.org/0000-0001-9520-5196"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Datta, Anupam","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":6,"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/T11986","display_name":"Scientific Computing and Data Management","score":0.6355000138282776,"subfield":{"id":"https://openalex.org/subfields/1802","display_name":"Information Systems and Management"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T11986","display_name":"Scientific Computing and Data Management","score":0.6355000138282776,"subfield":{"id":"https://openalex.org/subfields/1802","display_name":"Information Systems and Management"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T11719","display_name":"Data Quality and Management","score":0.04050000011920929,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.03869999945163727,"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/semantic-similarity","display_name":"Semantic similarity","score":0.5235999822616577},{"id":"https://openalex.org/keywords/semantic-computing","display_name":"Semantic computing","score":0.499099999666214},{"id":"https://openalex.org/keywords/tuple","display_name":"Tuple","score":0.48969998955726624},{"id":"https://openalex.org/keywords/sparql","display_name":"SPARQL","score":0.4749000072479248},{"id":"https://openalex.org/keywords/aggregate","display_name":"Aggregate (composite)","score":0.4025000035762787},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.39329999685287476},{"id":"https://openalex.org/keywords/pruning","display_name":"Pruning","score":0.3790000081062317},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.3625999987125397}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7836999893188477},{"id":"https://openalex.org/C130318100","wikidata":"https://www.wikidata.org/wiki/Q2268914","display_name":"Semantic similarity","level":2,"score":0.5235999822616577},{"id":"https://openalex.org/C511149849","wikidata":"https://www.wikidata.org/wiki/Q7449051","display_name":"Semantic computing","level":3,"score":0.499099999666214},{"id":"https://openalex.org/C118930307","wikidata":"https://www.wikidata.org/wiki/Q600590","display_name":"Tuple","level":2,"score":0.48969998955726624},{"id":"https://openalex.org/C41009113","wikidata":"https://www.wikidata.org/wiki/Q54871","display_name":"SPARQL","level":4,"score":0.4749000072479248},{"id":"https://openalex.org/C23123220","wikidata":"https://www.wikidata.org/wiki/Q816826","display_name":"Information retrieval","level":1,"score":0.44679999351501465},{"id":"https://openalex.org/C4679612","wikidata":"https://www.wikidata.org/wiki/Q866298","display_name":"Aggregate (composite)","level":2,"score":0.4025000035762787},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.39329999685287476},{"id":"https://openalex.org/C108010975","wikidata":"https://www.wikidata.org/wiki/Q500094","display_name":"Pruning","level":2,"score":0.3790000081062317},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.37700000405311584},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.3625999987125397},{"id":"https://openalex.org/C6881194","wikidata":"https://www.wikidata.org/wiki/Q7449091","display_name":"Semantic technology","level":4,"score":0.34950000047683716},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.3449000120162964},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3416000008583069},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.30570000410079956},{"id":"https://openalex.org/C158154518","wikidata":"https://www.wikidata.org/wiki/Q7310970","display_name":"Relevance (law)","level":2,"score":0.299699991941452},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.2962000072002411},{"id":"https://openalex.org/C2778180026","wikidata":"https://www.wikidata.org/wiki/Q18378163","display_name":"Semantic heterogeneity","level":4,"score":0.29190000891685486},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.28049999475479126},{"id":"https://openalex.org/C166423231","wikidata":"https://www.wikidata.org/wiki/Q1891170","display_name":"Semantic search","level":3,"score":0.28029999136924744},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.26829999685287476},{"id":"https://openalex.org/C90312973","wikidata":"https://www.wikidata.org/wiki/Q7449052","display_name":"Semantic data model","level":2,"score":0.26510000228881836},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2639999985694885},{"id":"https://openalex.org/C2129575","wikidata":"https://www.wikidata.org/wiki/Q54837","display_name":"Semantic Web","level":2,"score":0.25540000200271606},{"id":"https://openalex.org/C69075417","wikidata":"https://www.wikidata.org/wiki/Q515701","display_name":"Linked data","level":3,"score":0.25040000677108765}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2604.26180","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.26180","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":"article"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2604.26180","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.26180","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":"article"},"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":{"With":[0],"recent":[1],"semantic":[2,6,30,69,84,101,141],"query":[3,85,103],"processing":[4,86],"engines,":[5],"aggregation":[7],"has":[8],"become":[9],"a":[10,17,20,65,76,83,99,158,176,195,213,219,235,251,256],"primitive":[11],"operator,":[12],"enabling":[13],"the":[14,28,40,108,113,164,262],"reduction":[15],"of":[16,68,161,178],"relation":[18],"into":[19,98],"natural":[21],"language":[22],"aggregate":[23,31],"using":[24],"an":[25],"LLM.":[26],"However,":[27],"resulting":[29],"may":[32],"contain":[33],"claims":[34,45],"that":[35,57,78,111,156],"are":[36],"not":[37],"grounded":[38],"in":[39,223,241],"underlying":[41],"relation.":[42],"Verifying":[43],"such":[44],"is":[46,152],"challenging:":[47],"they":[48],"often":[49],"involve":[50],"quantifiers,":[51],"groupings,":[52],"and":[53,63,70,91,104,118,132,137,147,203,229,243,269],"comparisons":[54],"over":[55],"relations":[56],"far":[58],"exceed":[59],"LLM":[60,123,197],"context":[61],"windows":[62],"require":[64],"costly":[66],"combination":[67],"symbolic":[71],"processing.":[72],"We":[73],"present":[74],"Evergreen,":[75],"system":[77],"recasts":[79],"claim":[80,97],"verification":[81,102,189],"as":[82],"task":[87],"with":[88,134,166,194,212,245,255],"tailored":[89],"optimizations":[90,127,139],"provenance":[92,171],"capture.":[93],"Evergreen":[94,120,186,217,238],"compiles":[95],"each":[96],"declarative":[100],"executes":[105],"it":[106,260],"on":[107,169],"same":[109,263],"engine":[110],"produced":[112],"aggregate.":[114],"To":[115],"reduce":[116],"cost":[117,200,228,247,268],"latency,":[119],"avoids":[121],"unnecessary":[122],"calls":[124],"through":[125],"verification-aware":[126],"(early":[128],"stopping,":[129],"relevance":[130],"sorting,":[131],"estimation":[133],"confidence":[135],"sequences)":[136],"general-purpose":[138],"for":[140,172],"queries":[142],"(operator":[143],"fusion,":[144],"similarity":[145],"filtering,":[146],"prompt":[148],"caching).":[149],"Each":[150],"verdict":[151],"accompanied":[153],"by":[154,201,205],"citations":[155],"identify":[157],"minimal":[159],"set":[160],"tuples":[162],"justifying":[163],"result,":[165],"semantics":[167],"based":[168],"semiring":[170],"first-order":[173],"logic.":[174],"On":[175],"benchmark":[177],"real-world":[179],"restaurant":[180],"review":[181],"datasets":[182],"reflecting":[183],"production-inspired":[184],"workloads,":[185],"achieves":[187,261],"excellent":[188],"quality":[190],"(F1":[191],"=":[192],"1.00)":[193],"strong":[196,220,252],"while":[198],"reducing":[199],"3.2x":[202],"latency":[204,244],"4.0x":[206],"compared":[207],"to":[208,234],"unoptimized":[209],"verification.":[210],"Even":[211],"significantly":[214],"weaker":[215,258],"LLM,":[216,259],"outperforms":[218],"LLM-as-a-judge":[221],"baseline":[222],"F1":[224,242,264],"at":[225,265],"48x":[226],"lower":[227,231,267,271],"2.3x":[230],"latency.":[232,272],"Relative":[233],"retrieval-augmented":[236],"agent,":[237],"compares":[239],"favorably":[240],"similar":[246],"when":[248],"both":[249],"use":[250],"LLM;":[253],"yet,":[254],"much":[257],"63x":[266],"4.2x":[270]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2026-05-01T00:00:00"}