{"id":"W7128617324","doi":"10.1109/focs63196.2025.00116","title":"RE-completeness of entangled constraint satisfaction problems","year":2025,"lang":"","type":"article","venue":"","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Undecidable problem; Constraint satisfaction problem; Class (philosophy); Commutative property; Formalism (music); Constraint satisfaction; Variety (cybernetics); Decision problem; Computational complexity theory","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003885796,0.001003087,0.001472377,0.0009650716,0.001180306,0.00318627,0.002392254,0.001303889,0.004653608],"category_scores_gemma":[0.01394373,0.0007951235,0.002513176,0.001268416,0.003480942,0.007033555,0.003883235,0.005823056,0.000564286],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00221734,"about_ca_system_score_gemma":0.002341925,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003102523,"about_ca_topic_score_gemma":0.002907382,"domain_scores_codex":[0.993484,0.002469708,0.0004966571,0.001366143,0.001507064,0.0006763905],"domain_scores_gemma":[0.9836789,0.01189356,0.0007366218,0.001882378,0.001391307,0.0004171763],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0002429828,0.0002302593,0.0009534831,0.0006094673,0.0001458142,0.0003292922,0.001163487,0.1153124,0.006271415,0.8304752,0.004203011,0.04006324],"study_design_scores_gemma":[0.00007223773,0.00004082502,0.0003001744,0.00005823761,0.00003779574,0.0001250888,0.0002241384,0.1632159,0.006523245,0.8238676,0.005499662,0.00003498759],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.198478,0.001165582,0.7692813,0.00392267,0.00009351153,0.0002988194,0.001117156,0.0009253343,0.02471774],"genre_scores_gemma":[0.7798899,0.001177934,0.202668,0.0009896104,0.0001540942,0.0006609447,0.002696536,0.0004615605,0.01130148],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004653608,"threshold_uncertainty_score":0.02055025,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01917355809401434,"score_gpt":0.2566937274063475,"score_spread":0.2375201693123332,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}