{"id":"https://openalex.org/W7164910540","doi":"https://doi.org/10.48550/arxiv.2606.16368","title":"Evaluating LLM Personalization via Semantic Constraint Verification","display_name":"Evaluating LLM Personalization via Semantic Constraint Verification","publication_year":2026,"publication_date":"2026-06-15","ids":{"openalex":"https://openalex.org/W7164910540","doi":"https://doi.org/10.48550/arxiv.2606.16368"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2606.16368","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.16368","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.2606.16368","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5138709274","display_name":"Xuran Li","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Li, Xuran","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5008760836","display_name":"Guanqin Zhang","orcid":"https://orcid.org/0000-0002-3844-8180"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zhang, Guanqin","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5138726926","display_name":"Imran Razzak","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Razzak, Imran","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5138751788","display_name":"Hakim Hacid","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Hacid, Hakim","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5088268250","display_name":"Eleanna Kafeza","orcid":"https://orcid.org/0000-0001-9565-2375"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Kafeza, Eleanna","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5138724107","display_name":"Hao Xue","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Xue, Hao","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5138712842","display_name":"Flora D. Salim","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Salim, Flora D.","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.3319999873638153,"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.3319999873638153,"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/T11636","display_name":"Artificial Intelligence in Healthcare and Education","score":0.12039999663829803,"subfield":{"id":"https://openalex.org/subfields/2718","display_name":"Health Informatics"},"field":{"id":"https://openalex.org/fields/27","display_name":"Medicine"},"domain":{"id":"https://openalex.org/domains/4","display_name":"Health Sciences"}},{"id":"https://openalex.org/T13910","display_name":"Computational and Text Analysis Methods","score":0.0997999981045723,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/personalization","display_name":"Personalization","score":0.7035999894142151},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.6279000043869019},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.5795000195503235},{"id":"https://openalex.org/keywords/natural-language","display_name":"Natural language","score":0.5253999829292297},{"id":"https://openalex.org/keywords/sentence","display_name":"Sentence","score":0.4853000044822693},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.43689998984336853},{"id":"https://openalex.org/keywords/natural-language-understanding","display_name":"Natural language understanding","score":0.37229999899864197},{"id":"https://openalex.org/keywords/language-model","display_name":"Language model","score":0.3709000051021576}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8253999948501587},{"id":"https://openalex.org/C183003079","wikidata":"https://www.wikidata.org/wiki/Q1000371","display_name":"Personalization","level":2,"score":0.7035999894142151},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.6279000043869019},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.5795000195503235},{"id":"https://openalex.org/C195324797","wikidata":"https://www.wikidata.org/wiki/Q33742","display_name":"Natural language","level":2,"score":0.5253999829292297},{"id":"https://openalex.org/C2777530160","wikidata":"https://www.wikidata.org/wiki/Q41796","display_name":"Sentence","level":2,"score":0.4853000044822693},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.47290000319480896},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.43689998984336853},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.43209999799728394},{"id":"https://openalex.org/C2779439875","wikidata":"https://www.wikidata.org/wiki/Q1078276","display_name":"Natural language understanding","level":3,"score":0.37229999899864197},{"id":"https://openalex.org/C137293760","wikidata":"https://www.wikidata.org/wiki/Q3621696","display_name":"Language model","level":2,"score":0.3709000051021576},{"id":"https://openalex.org/C153083717","wikidata":"https://www.wikidata.org/wiki/Q6535263","display_name":"Leverage (statistics)","level":2,"score":0.364300012588501},{"id":"https://openalex.org/C160234255","wikidata":"https://www.wikidata.org/wiki/Q812535","display_name":"Bayesian inference","level":3,"score":0.33809998631477356},{"id":"https://openalex.org/C2776187449","wikidata":"https://www.wikidata.org/wiki/Q1513879","display_name":"Natural language generation","level":3,"score":0.33079999685287476},{"id":"https://openalex.org/C48145219","wikidata":"https://www.wikidata.org/wiki/Q1335365","display_name":"Security token","level":2,"score":0.3249000012874603},{"id":"https://openalex.org/C190470478","wikidata":"https://www.wikidata.org/wiki/Q2370229","display_name":"Invariant (physics)","level":2,"score":0.303600013256073},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.302700012922287},{"id":"https://openalex.org/C82876162","wikidata":"https://www.wikidata.org/wiki/Q17096504","display_name":"Latency (audio)","level":2,"score":0.3001999855041504},{"id":"https://openalex.org/C107673813","wikidata":"https://www.wikidata.org/wiki/Q812534","display_name":"Bayesian probability","level":2,"score":0.29179999232292175},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.28940001130104065},{"id":"https://openalex.org/C48372109","wikidata":"https://www.wikidata.org/wiki/Q3913","display_name":"Binary number","level":2,"score":0.2808000147342682},{"id":"https://openalex.org/C2780598303","wikidata":"https://www.wikidata.org/wiki/Q65921492","display_name":"Flexibility (engineering)","level":2,"score":0.27459999918937683},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.2619999945163727},{"id":"https://openalex.org/C33724603","wikidata":"https://www.wikidata.org/wiki/Q812540","display_name":"Bayesian network","level":2,"score":0.2606000006198883},{"id":"https://openalex.org/C2775955345","wikidata":"https://www.wikidata.org/wiki/Q7449071","display_name":"Semantic mapping","level":2,"score":0.2549000084400177}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2606.16368","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.16368","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.2606.16368","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.16368","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":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Current":[0],"evaluation":[1],"paradigms":[2],"for":[3,122],"Large":[4],"Language":[5,32,56],"Model":[6],"(LLM)":[7],"personalization":[8,51],"rely":[9],"heavily":[10],"on":[11],"brittle":[12],"surface-matching":[13],"metrics":[14],"or":[15],"computationally":[16],"expensive":[17],"LLM-as-a-judge":[18],"protocols,":[19],"both":[20],"of":[21],"which":[22],"lack":[23],"interpretability.":[24],"To":[25],"address":[26],"these":[27],"limitations,":[28],"we":[29],"introduce":[30],"Natural":[31,55],"Inference":[33,57],"Constraint":[34],"Verification":[35],"(NLICV),":[36],"a":[37,54],"scalable,":[38],"semantically":[39],"invariant":[40],"framework":[41],"that":[42,80],"maps":[43],"sentence":[44],"meanings":[45],"to":[46,49,100],"truth-condition":[47],"sets":[48],"verify":[50],"constraints":[52],"via":[53],"(NLI)":[58],"model.":[59],"Moving":[60],"beyond":[61],"binary":[62],"scoring,":[63],"NLICV":[64,81,109],"categorizes":[65],"LLM":[66,97],"behaviors":[67],"into":[68],"four":[69],"distinct":[70],"modes:":[71],"personalization,":[72],"generalization,":[73],"sycophancy,":[74],"and":[75,92],"failure.":[76],"Extensive":[77],"experiments":[78],"demonstrate":[79],"aligns":[82],"closely":[83],"with":[84,96],"human":[85],"annotations":[86],"while":[87],"drastically":[88],"reducing":[89],"the":[90,111,115],"latency":[91],"token":[93],"costs":[94],"associated":[95],"judges":[98],"(up":[99],"2100":[101],"inference":[102],"speedup).":[103],"Finally,":[104],"through":[105],"an":[106],"ablation-based":[107],"procedure,":[108],"pinpoints":[110],"exact":[112],"sentences":[113],"driving":[114],"constraint":[116],"verification,":[117],"yielding":[118],"faithful,":[119],"understandable":[120],"evidence":[121],"its":[123],"evaluations.":[124]},"counts_by_year":[],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2026-06-17T00:00:00"}