{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001335236,0.0005477222,0.0008290033,0.0009519767,0.0008372954,0.002036513,0.001203186,0.0009971595,0.008151282],"category_scores_gemma":[0.01602537,0.000339956,0.00119306,0.001938365,0.001529818,0.005938589,0.002609518,0.002514739,0.0005963384],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002065638,"about_ca_system_score_gemma":0.001518197,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001487066,"about_ca_topic_score_gemma":0.001695187,"domain_scores_codex":[0.9981969,0.0003949541,0.0001747928,0.0003505361,0.000599448,0.0002833176],"domain_scores_gemma":[0.9884013,0.008815015,0.0007284685,0.001270424,0.000544422,0.0002402439],"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.001041041,0.0003101832,0.005696565,0.001364278,0.0001653124,0.001556969,0.003314134,0.1313209,0.01531879,0.6255899,0.011186,0.2031359],"study_design_scores_gemma":[0.00009980376,0.0001394903,0.0008951037,0.0001041566,0.00006907544,0.0004402755,0.0005696515,0.2895799,0.01562306,0.6828672,0.009566169,0.00004605842],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.617875,0.001184682,0.3482665,0.005237646,0.000196856,0.0004035583,0.002027421,0.00160407,0.02320422],"genre_scores_gemma":[0.8371969,0.0005799502,0.1473771,0.0006232935,0.0001806096,0.0003566724,0.002646017,0.0005260745,0.01051338],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.008151282,"threshold_uncertainty_score":0.02726877,"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."}}