{"id":"W3184117305","doi":"10.4230/lipics.icalp.2021.2","title":"Symmetries and Complexity (Invited Talk)","year":2021,"lang":"en","type":"article","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":"Simon Fraser University","funders":"","keywords":"Constraint satisfaction problem; Homogeneous space; Computer science; Theoretical computer science; Algebraic number; Algebra over a field; Constraint (computer-aided design); Mathematical optimization; Mathematics; Artificial intelligence; 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.0009428936,0.0008422558,0.0007751447,0.001203796,0.0009992346,0.002820308,0.0005321296,0.001452743,0.03487827],"category_scores_gemma":[0.002822977,0.0003927456,0.0008061377,0.001230809,0.001342371,0.004325838,0.001603439,0.003648645,0.008815371],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001872933,"about_ca_system_score_gemma":0.0005926111,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001001577,"about_ca_topic_score_gemma":0.0008995209,"domain_scores_codex":[0.9994352,0.0001534446,0.00002048428,0.0001437499,0.0001704348,0.00007654527],"domain_scores_gemma":[0.9991248,0.0005580632,0.00003174005,0.00004747609,0.0001286696,0.0001093486],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00006707337,0.00005721244,0.0003090072,0.0004160216,0.00004813582,0.0001178503,0.0003421148,0.001817304,0.0009016052,0.4257568,0.496987,0.07317981],"study_design_scores_gemma":[0.00002825884,0.00003580804,0.0006418215,0.0002162215,0.00002738748,0.0002218715,0.0001593313,0.001376637,0.0005454232,0.4714079,0.5253071,0.0000322093],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.01594883,0.3059115,0.05831883,0.1709638,0.06762655,0.00009840564,0.002007078,0.001110808,0.3780141],"genre_scores_gemma":[0.2908534,0.2067643,0.03482096,0.02916054,0.1374151,0.0004142877,0.003558039,0.001314238,0.295699],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.03487827,"threshold_uncertainty_score":0.1166795,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02703836184198766,"score_gpt":0.2497060505491352,"score_spread":0.2226676887071475,"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."}}