{"id":"W2092435018","doi":"10.1112/blms/bdm030","title":"The complexity of the equivalence problem for nonsolvable groups","year":2007,"lang":"en","type":"article","venue":"Bulletin of the London Mathematical Society","topic":"semigroups and automata theory","field":"Computer Science","cited_by":29,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Mathematics; Equivalence (formal languages); Cardinality (data modeling); Combinatorics; Discrete mathematics; Nilpotent group; Nilpotent","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.003430388,0.000158805,0.0002684618,0.000006144888,0.0005142674,0.00005789826,0.002971766,0.00008495608,0.00005098078],"category_scores_gemma":[0.000249752,0.00007094165,0.0006288465,0.0002452077,0.00126599,0.00003400416,0.001058724,0.0001953135,0.00001284603],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003619902,"about_ca_system_score_gemma":0.0000378572,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001387346,"about_ca_topic_score_gemma":0.000001914249,"domain_scores_codex":[0.9981422,0.0001060787,0.0005554764,0.0002390704,0.0005286305,0.0004285216],"domain_scores_gemma":[0.9962896,0.001951894,0.0003997906,0.001186418,0.0001205002,0.00005186918],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00001286811,0.0001519059,0.00004142558,0.0002802101,0.0000376189,8.915904e-8,0.0007165326,0.00001783485,0.001668327,0.9753898,0.02010481,0.001578542],"study_design_scores_gemma":[0.0004895892,0.00006461568,0.0007096403,0.0002427535,0.00003212949,0.00001241197,0.0003081733,0.01254619,0.02350315,0.9381925,0.02372898,0.0001699119],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04341058,0.0005571111,0.8940819,0.04818112,0.000570973,0.002545699,0.00002889641,0.0001625453,0.01046116],"genre_scores_gemma":[0.7011508,0.00003878419,0.2943141,0.001586985,0.0001156351,0.00004852194,6.39432e-7,0.00003299911,0.002711556],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.6577402,"threshold_uncertainty_score":0.552233,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02737374476136478,"score_gpt":0.2523173043764019,"score_spread":0.2249435596150371,"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."}}