{"id":"W2039977993","doi":"10.1142/s0218196715400056","title":"SLP compression for solutions of equations with constraints in free and hyperbolic groups","year":2015,"lang":"en","type":"article","venue":"International Journal of Algebra and Computation","topic":"Geometric and Algebraic Topology","field":"Mathematics","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"","keywords":"Mathematics; Free product; Upper and lower bounds; Abelian group; Group (periodic table); Pure mathematics; Mathematical analysis","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.0003420358,0.0000599532,0.0001608675,0.000306765,0.0000222379,0.00001355627,0.000095527,0.00003903286,0.000005075517],"category_scores_gemma":[0.0004772046,0.00004888685,0.00002463968,0.0000997959,0.0001314187,0.0001576667,0.0000368548,0.00007229779,1.76849e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002401063,"about_ca_system_score_gemma":0.00007301236,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000126908,"about_ca_topic_score_gemma":0.00001682194,"domain_scores_codex":[0.9992729,0.00003729584,0.0003324707,0.00006753486,0.0002129471,0.00007680208],"domain_scores_gemma":[0.9985693,0.0005571258,0.0002975435,0.00003618989,0.0004836712,0.00005622049],"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.0004110339,0.0005037388,0.005475532,0.0000633474,0.0002634627,0.00002283997,0.003213652,0.00117425,0.0003373358,0.9087836,0.002027364,0.0777239],"study_design_scores_gemma":[0.004510581,0.0004641082,0.008175725,0.0001634204,0.00004577916,0.0003638892,0.001565137,0.008322462,0.0001036057,0.9761145,0.00008212097,0.00008863189],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6176956,0.000304872,0.3802138,0.001391827,0.0001948611,0.00008382903,0.00001613164,0.000003742219,0.00009533992],"genre_scores_gemma":[0.978274,0.00001779982,0.02158084,0.00003145557,0.0000710314,0.000002467068,0.000004647305,0.000004924318,0.00001285279],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.3605784,"threshold_uncertainty_score":0.1993548,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0804978267556539,"score_gpt":0.3348525657051616,"score_spread":0.2543547389495078,"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."}}