{"id":"W2160085175","doi":"10.26493/1855-3974.170.fd8","title":"Maximum independent sets of the 120-cell and other regular polytopes","year":2012,"lang":"en","type":"article","venue":"Ars Mathematica Contemporanea","topic":"graph theory and CDMA systems","field":"Engineering","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Victoria","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Combinatorics; Mathematics; Polytope; Antipodal point; Upper and lower bounds; Graph; Dodecahedron; Pairwise comparison; Discrete mathematics; Independent set; Order (exchange); Set (abstract data type); Geometry; Statistics; Computer science; Mathematical analysis","routes":{"ca_aff":true,"ca_fund":true,"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.000493122,0.0001530612,0.0002510106,0.00004046438,0.00004494813,0.00001582914,0.0001828205,0.00007657457,0.00006664055],"category_scores_gemma":[0.00001579152,0.0001038893,0.00008123791,0.00008774135,0.00008138322,0.00010048,0.00003984906,0.00009692883,0.0000331378],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000008856501,"about_ca_system_score_gemma":0.00000532788,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000008228216,"about_ca_topic_score_gemma":0.000002401744,"domain_scores_codex":[0.9991429,0.00006889333,0.0003027662,0.00009055353,0.0001773434,0.000217553],"domain_scores_gemma":[0.9993572,0.0000761375,0.00008287664,0.0003932265,0.00001515023,0.00007543964],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.0001247493,0.001235876,0.08211936,0.01105289,0.001287695,0.00001924866,0.07108109,0.0001886252,0.3021928,0.5170176,0.009228288,0.004451773],"study_design_scores_gemma":[0.006338439,0.0002309429,0.01186887,0.002579527,0.000584681,0.0005909546,0.01443916,0.004702087,0.5686013,0.3187602,0.06846683,0.002837022],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.958928,0.001689335,0.0003467038,0.00005092456,0.0002525749,0.0003494723,0.00001344281,0.0000832177,0.03828627],"genre_scores_gemma":[0.999304,0.00000621649,0.0001535969,0.00004347785,0.00001986279,0.00001784713,4.915467e-7,0.00003414305,0.0004203612],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.2664085,"threshold_uncertainty_score":0.4236481,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01334276943734726,"score_gpt":0.1992963778698754,"score_spread":0.1859536084325281,"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."}}