{"id":"W3023400052","doi":"10.4230/lipics.icalp.2020.110","title":"Sensitive Instances of the Constraint Satisfaction Problem","year":2020,"lang":"en","type":"preprint","venue":"DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"","keywords":"Constraint satisfaction problem; Idempotence; Tuple; Mathematics; Context (archaeology); Subalgebra; Variety (cybernetics); Consistency (knowledge bases); Discrete mathematics; Combinatorics; Algebra over a field; Pure mathematics","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.006160041,0.0008401205,0.001046876,0.00115457,0.0009610563,0.003249786,0.002365546,0.001497653,0.003796957],"category_scores_gemma":[0.03286292,0.0008301518,0.00219027,0.001665368,0.002321908,0.005972305,0.003204496,0.004197492,0.0002130092],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001528177,"about_ca_system_score_gemma":0.00121311,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001348191,"about_ca_topic_score_gemma":0.001119369,"domain_scores_codex":[0.9899478,0.003647587,0.0005676672,0.001970572,0.002858956,0.001007413],"domain_scores_gemma":[0.9648524,0.02734346,0.002691252,0.003418417,0.0007630539,0.0009314779],"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.0005582483,0.0005152367,0.007351698,0.0003974493,0.0004216657,0.0009364748,0.0007754036,0.4307278,0.008441122,0.5031869,0.001700076,0.04498794],"study_design_scores_gemma":[0.0001062111,0.0002836091,0.001377345,0.00003183529,0.0001193081,0.0003939178,0.0002391462,0.5390053,0.009460973,0.4459715,0.002961822,0.00004904212],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5952061,0.0004808286,0.387188,0.001250748,0.0000838175,0.0004133172,0.000651139,0.0005587487,0.01416736],"genre_scores_gemma":[0.8894852,0.0002732805,0.1066399,0.0003242799,0.0001070111,0.0001904089,0.0006775767,0.0001490676,0.002153273],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.006160041,"threshold_uncertainty_score":0.03257775,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01863121969351642,"score_gpt":0.2448525120734376,"score_spread":0.2262212923799212,"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."}}