{"id":"W2407021550","doi":"10.1137/15m1009767","title":"Algorithms for Group Isomorphism via Group Extensions and Cohomology","year":2017,"lang":"en","type":"article","venue":"SIAM Journal on Computing","topic":"Finite Group Theory Research","field":"Mathematics","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Australian Research Council; Natural Sciences and Engineering Research Council of Canada; National Science Foundation","keywords":"Group (periodic table); Mathematics; Abelian group; Isomorphism (crystallography); Group isomorphism; Extension (predicate logic); Divide and conquer algorithms; Cohomology; Equivalence (formal languages); Quotient group; Combinatorics; Group cohomology; Normal subgroup; Time complexity; Discrete mathematics; Algebra over a field; Cyclic group; Computer science; Pure mathematics; Algorithm","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002347345,0.0017617,0.001922654,0.00188409,0.002087648,0.003983299,0.004405863,0.002255427,0.01824338],"category_scores_gemma":[0.011727,0.0009268885,0.002557764,0.003109251,0.002259932,0.01764035,0.006870119,0.004047712,0.00408488],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002763197,"about_ca_system_score_gemma":0.003567036,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003616252,"about_ca_topic_score_gemma":0.005235811,"domain_scores_codex":[0.9960415,0.0007919871,0.0003044914,0.001321687,0.0007938075,0.0007466329],"domain_scores_gemma":[0.9914069,0.004742746,0.0004429972,0.002537886,0.000544105,0.0003253616],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0009119787,0.0007433641,0.004191107,0.0008877423,0.0001987803,0.0003377489,0.001893248,0.04018023,0.007405236,0.3647198,0.04340035,0.5351304],"study_design_scores_gemma":[0.0003335152,0.0001653606,0.0005786648,0.00007169519,0.00009092539,0.0002610955,0.0006096631,0.1747592,0.007084513,0.7959918,0.01998975,0.00006364327],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.08446305,0.001526224,0.8709211,0.0030983,0.0002933268,0.0005994398,0.001335919,0.0154527,0.02231008],"genre_scores_gemma":[0.4298316,0.0006151314,0.5487812,0.0007232058,0.0003054524,0.0006482073,0.005348601,0.002050238,0.01169654],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01824338,"threshold_uncertainty_score":0.06103015,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1373638796531967,"score_gpt":0.4026025739951591,"score_spread":0.2652386943419625,"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."}}