{"id":"W2605041732","doi":"10.1109/focs.2017.37","title":"A Dichotomy Theorem for Nonuniform CSPs","year":2017,"lang":"en","type":"preprint","venue":"","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":41,"is_retracted":false,"has_abstract":true,"ca_institutions":"Simon Fraser University","funders":"","keywords":"Mathematics; Mathematical economics; Calculus (dental); 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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002533182,0.0001709593,0.0001861049,0.0001030605,0.0002185156,0.0006596661,0.001128008,0.0001802021,0.0001220438],"category_scores_gemma":[0.00007393274,0.0001481079,0.0001527901,0.00003092411,0.00005087593,0.0002589339,0.0007177073,0.000193949,0.00003514537],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004578135,"about_ca_system_score_gemma":0.0002126037,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003035327,"about_ca_topic_score_gemma":0.00005107463,"domain_scores_codex":[0.999013,0.00001557447,0.0001921154,0.00044239,0.000153789,0.0001831409],"domain_scores_gemma":[0.9983665,0.00006937321,0.0002149718,0.00111963,0.0001518594,0.0000776613],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000006869364,0.00002453643,0.000235161,0.00006634644,0.00004099998,0.000002425141,0.0002884068,0.0009439298,0.00001118499,0.6762317,0.003568059,0.3185804],"study_design_scores_gemma":[0.0006549695,0.00003738211,0.002086733,0.00008875789,0.00002010425,0.00001355492,0.00001734465,0.7590953,0.0004144564,0.1959335,0.04107833,0.0005595561],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00009407913,0.00001513882,0.9092769,0.001914881,0.001188432,0.0005995975,0.0000134476,0.0002711799,0.08662636],"genre_scores_gemma":[0.314556,0.00008367738,0.6751831,0.0007069326,0.0002619643,0.0002967197,0.00006147721,0.00002330626,0.008826895],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.7581514,"threshold_uncertainty_score":0.6361175,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02727846409153442,"score_gpt":0.2880112279968599,"score_spread":0.2607327639053255,"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."}}