{"id":"W1997046888","doi":"10.1142/s0218196707003913","title":"GENERIC COMPLEXITY OF THE CONJUGACY PROBLEM IN HNN-EXTENSIONS AND ALGORITHMIC STRATIFICATION OF MILLER'S GROUPS","year":2007,"lang":"en","type":"article","venue":"International Journal of Algebra and Computation","topic":"Geometric and Algebraic Topology","field":"Mathematics","cited_by":19,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"","keywords":"Undecidable problem; Conjugacy class; Conjugacy problem; Mathematics; Decidability; Miller; Stratification (seeds); Group (periodic table); Decision problem; Combinatorics; Discrete mathematics; Algorithm","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.0005606131,0.00007154136,0.0001934738,0.0002849527,0.0000277935,0.00001110158,0.0001397171,0.00004573525,0.00001154078],"category_scores_gemma":[0.0001462397,0.00005288286,0.00004901924,0.000211953,0.0001959544,0.0001005232,0.00004529419,0.0001157516,1.472282e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002496515,"about_ca_system_score_gemma":0.00004436223,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003234566,"about_ca_topic_score_gemma":0.00002881642,"domain_scores_codex":[0.9988186,0.00005782292,0.0006763609,0.00008189739,0.0002892841,0.00007604591],"domain_scores_gemma":[0.9984087,0.0003331355,0.0007294579,0.00005265748,0.0004435853,0.00003247935],"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.0002716928,0.0007773822,0.033131,0.0001431203,0.000347528,0.00002109664,0.004082653,0.0006463125,0.01042893,0.8371934,0.0003283217,0.1126285],"study_design_scores_gemma":[0.001054802,0.00014214,0.3657953,0.00009861279,0.00002994388,0.0002255064,0.0008726276,0.002778871,0.00167186,0.6272442,0.00001741464,0.00006871737],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9508747,0.0001943058,0.04771921,0.0007413306,0.0002109372,0.0001063239,0.000003999479,0.000002633617,0.0001465575],"genre_scores_gemma":[0.9817652,0.00004620882,0.01808364,0.00003429638,0.0000548522,5.47594e-7,0.00000224238,0.000004552866,0.000008435392],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.3326643,"threshold_uncertainty_score":0.2156501,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04876440810557002,"score_gpt":0.3200468513484381,"score_spread":0.271282443242868,"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."}}