{"id":"https://openalex.org/W7164015067","doi":"https://doi.org/10.48550/arxiv.2606.08020","title":"Repair Before Veto, When Repair Is Hidden: Quantum-Accessible Features for Repair-Augmented Constraint Learning","display_name":"Repair Before Veto, When Repair Is Hidden: Quantum-Accessible Features for Repair-Augmented Constraint Learning","publication_year":2026,"publication_date":"2026-06-06","ids":{"openalex":"https://openalex.org/W7164015067","doi":"https://doi.org/10.48550/arxiv.2606.08020"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2606.08020","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.08020","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":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.08020","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5138223218","display_name":"Yifan Wang","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Wang, Yifan","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5138223218"],"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/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":0.6685000061988831,"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/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":0.6685000061988831,"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/T11948","display_name":"Machine Learning in Materials Science","score":0.04320000112056732,"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"}},{"id":"https://openalex.org/T11804","display_name":"Quantum many-body systems","score":0.026399999856948853,"subfield":{"id":"https://openalex.org/subfields/3107","display_name":"Atomic and Molecular Physics, and Optics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/oracle","display_name":"Oracle","score":0.5077000260353088},{"id":"https://openalex.org/keywords/feature","display_name":"Feature (linguistics)","score":0.48809999227523804},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.4724999964237213},{"id":"https://openalex.org/keywords/veto","display_name":"Veto","score":0.4675000011920929},{"id":"https://openalex.org/keywords/nondeterministic-algorithm","display_name":"Nondeterministic algorithm","score":0.461899995803833},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.45719999074935913},{"id":"https://openalex.org/keywords/classifier","display_name":"Classifier (UML)","score":0.45350000262260437},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.4002000093460083},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.3903000056743622}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5202999711036682},{"id":"https://openalex.org/C55166926","wikidata":"https://www.wikidata.org/wiki/Q2892946","display_name":"Oracle","level":2,"score":0.5077000260353088},{"id":"https://openalex.org/C2776401178","wikidata":"https://www.wikidata.org/wiki/Q12050496","display_name":"Feature (linguistics)","level":2,"score":0.48809999227523804},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.4724999964237213},{"id":"https://openalex.org/C2776331573","wikidata":"https://www.wikidata.org/wiki/Q178074","display_name":"Veto","level":3,"score":0.4675000011920929},{"id":"https://openalex.org/C176181172","wikidata":"https://www.wikidata.org/wiki/Q3490301","display_name":"Nondeterministic algorithm","level":2,"score":0.461899995803833},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.45719999074935913},{"id":"https://openalex.org/C95623464","wikidata":"https://www.wikidata.org/wiki/Q1096149","display_name":"Classifier (UML)","level":2,"score":0.45350000262260437},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.42649999260902405},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.4002000093460083},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.3903000056743622},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.38609999418258667},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.3546999990940094},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.3431999981403351},{"id":"https://openalex.org/C94966114","wikidata":"https://www.wikidata.org/wiki/Q29256","display_name":"Black box","level":2,"score":0.3357999920845032},{"id":"https://openalex.org/C189430467","wikidata":"https://www.wikidata.org/wiki/Q7293293","display_name":"Ranking (information retrieval)","level":2,"score":0.32010000944137573},{"id":"https://openalex.org/C140940377","wikidata":"https://www.wikidata.org/wiki/Q868720","display_name":"Condorcet method","level":4,"score":0.29660001397132874},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2890999913215637},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.28519999980926514},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.274399995803833},{"id":"https://openalex.org/C2778827112","wikidata":"https://www.wikidata.org/wiki/Q22245680","display_name":"Feature engineering","level":3,"score":0.2678999900817871},{"id":"https://openalex.org/C2778926657","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum system","level":3,"score":0.2630000114440918},{"id":"https://openalex.org/C188441871","wikidata":"https://www.wikidata.org/wiki/Q7554146","display_name":"Softmax function","level":3,"score":0.26179999113082886},{"id":"https://openalex.org/C150921843","wikidata":"https://www.wikidata.org/wiki/Q1170431","display_name":"Resampling","level":2,"score":0.260699987411499},{"id":"https://openalex.org/C2780801425","wikidata":"https://www.wikidata.org/wiki/Q5164392","display_name":"Construct (python library)","level":2,"score":0.2565000057220459},{"id":"https://openalex.org/C91810955","wikidata":"https://www.wikidata.org/wiki/Q7731670","display_name":"Incentive compatibility","level":3,"score":0.2531000077724457}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2606.08020","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.08020","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":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.08020","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.08020","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":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[{"score":0.6611785888671875,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Hard-constraint":[0],"decision":[1,53],"systems":[2],"usually":[3],"veto":[4,33],"infeasible":[5,24],"candidates.":[6],"This":[7],"is":[8,30,91,115,144,214],"too":[9],"rigid":[10],"when":[11,73],"the":[12,58,112,121,128,179,229,234],"system":[13],"can":[14,66],"act:":[15],"if":[16],"a":[17,31,36,46,71,74,107,116,124,154,171,218],"known":[18],"affordable":[19],"repair":[20,76,95,113,225],"would":[21],"make":[22],"an":[23,100],"candidate":[25,72,102],"feasible":[26],"and":[27,55,80,103,163,170,191],"valuable,":[28],"rejection":[29,86],"false":[32],"rather":[34,207],"than":[35,208],"ranking":[37],"error.":[38],"We":[39,105],"introduce":[40],"Q-RACL":[41],"(Quantum":[42],"Repair-Augmented":[43],"Constraint":[44],"Learning),":[45],"repair-before-veto":[47,235],"framework":[48],"that":[49,232],"first":[50],"defines":[51],"RACL":[52,69,109],"semantics":[54],"then":[56],"identifies":[57],"single":[59],"inference":[60],"link":[61,90],"where":[62,111],"quantum":[63,155,212],"feature":[64,205,231],"access":[65,206],"be":[67],"load-bearing.":[68],"accepts":[70],"sequential":[75],"plan":[77],"restores":[78,97],"feasibility":[79,98],"preference;":[81],"otherwise":[82],"it":[83,227],"returns":[84],"structured":[85],"credit.":[87],"The":[88],"hard":[89],"repair-feasibility":[92],"inference:":[93],"which":[94],"class":[96,114],"from":[99],"observed":[101],"context.":[104],"construct":[106],"discrete-logarithm-hidden":[108],"family":[110],"shifted":[117],"interval":[118],"rule":[119],"in":[120],"latent":[122],"exponent":[123],"=":[125,133,194],"log_g(x),":[126],"while":[127],"learner":[129],"observes":[130],"only":[131],"x":[132],"g^a":[134],"mod":[135],"p.":[136],"Under":[137],"standard":[138],"DLP-based":[139],"learning":[140],"separation,":[141],"this":[142,223],"coordinate":[143],"inaccessible":[145],"to":[146,153,196],"efficient":[147],"raw-input":[148,167],"classical":[149,168,199],"policies":[150,169],"but":[151],"accessible":[152],"agent":[156],"through":[157],"Shor/Fourier":[158],"structure.":[159],"Across":[160],"six":[161],"primes":[162],"ten":[164],"seeds,":[165,190],"bounded":[166],"wrong":[172],"raw-Fourier":[173],"encoding":[174],"remain":[175],"near":[176],"chance,":[177],"whereas":[178],"Q-DLP":[180],"policy":[181],"keeps":[182],"false-veto":[183],"rate":[184],"below":[185],"1.1%,":[186],"wins":[187],"all":[188],"paired":[189],"yields":[192],"QNI_cond":[193],"0.9777":[195],"0.9972.":[197],"A":[198],"DLog":[200],"oracle":[201],"matches":[202],"it,":[203],"isolating":[204],"classifier":[209],"capacity.":[210],"Thus":[211],"AI":[213],"not":[215],"added":[216],"as":[217],"generic":[219],"model":[220],"upgrade;":[221],"for":[222],"DLP-hidden":[224],"family,":[226],"supplies":[228],"missing":[230],"closes":[233],"loop.":[236]},"counts_by_year":[],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2026-06-10T00:00:00"}