{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002604068,0.00022992,0.0002862099,0.0002042637,0.0003548344,0.0006537333,0.0003534278,0.000125967,0.00005905749],"category_scores_gemma":[0.0002416829,0.0002272915,0.0001119092,0.0005241596,0.000166218,0.001566819,0.000374993,0.0002122447,0.0000302318],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006082605,"about_ca_system_score_gemma":0.00007062386,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001058352,"about_ca_topic_score_gemma":0.00004779831,"domain_scores_codex":[0.9984084,0.00003678788,0.0006134014,0.0002476454,0.0003070765,0.0003867306],"domain_scores_gemma":[0.998385,0.0001279273,0.0002167676,0.0005011855,0.0005895026,0.0001796729],"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.0001366109,0.0008291483,0.0359443,0.001647301,0.0006650418,0.00007767636,0.02341772,0.0007508356,0.0005672196,0.5456335,0.0434085,0.3469222],"study_design_scores_gemma":[0.006809016,0.000280836,0.0245406,0.0002235258,0.00006991844,0.0008983713,0.003552455,0.6827029,0.006283572,0.009974557,0.2631574,0.001506896],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04208575,0.00008730009,0.9475189,0.004314656,0.0009281728,0.0005055538,0.0002350422,0.0003205195,0.004004111],"genre_scores_gemma":[0.6768535,0.0001934509,0.3081618,0.01324311,0.0001389589,0.00006324665,0.0007782503,0.00003842669,0.0005291661],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.6819521,"threshold_uncertainty_score":0.9268678,"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."}}