{"id":"W2590309738","doi":"10.1090/proc/14063","title":"On optimal Scott sentences of finitely generated algebraic structures","year":2018,"lang":"lv","type":"article","venue":"Proceedings of the American Mathematical Society","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":8,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Algebraic number; Finitely-generated abelian group; Mathematics; Algebra over a field; Pure mathematics; Linguistics; Computer science; Philosophy; Mathematical analysis","routes":{"ca_aff":true,"ca_fund":true,"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.003027223,0.000892753,0.0007121463,0.001769686,0.00247572,0.003517804,0.001062643,0.001373576,0.007931861],"category_scores_gemma":[0.007062257,0.0008603172,0.001777221,0.001059391,0.004032284,0.008569614,0.003314319,0.002776539,0.001840543],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003958944,"about_ca_system_score_gemma":0.001030457,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001819331,"about_ca_topic_score_gemma":0.00276349,"domain_scores_codex":[0.9973484,0.0009692723,0.0002214977,0.0004071267,0.0006251942,0.0004285459],"domain_scores_gemma":[0.9962535,0.002095293,0.0002690245,0.000311016,0.0008322154,0.0002389518],"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.00004732822,0.00002260207,0.0001679609,0.00006081609,0.00001043569,0.00009004114,0.0004758479,0.0006832037,0.0009458038,0.9920352,0.002026185,0.003434666],"study_design_scores_gemma":[0.00002597202,0.00003455057,0.000290813,0.00003165795,0.00001902322,0.00006320667,0.0002495746,0.003243362,0.001397146,0.9876129,0.007009357,0.00002258251],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2264754,0.002688095,0.4149693,0.01371426,0.0009207385,0.0001884616,0.002013151,0.002166061,0.3368647],"genre_scores_gemma":[0.9113436,0.0007622591,0.05344949,0.001947264,0.0005483774,0.0001276456,0.001221885,0.0004870621,0.03011245],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007931861,"threshold_uncertainty_score":0.02872425,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02097895995583909,"score_gpt":0.2656726368267579,"score_spread":0.2446936768709188,"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."}}