{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","sts"],"consensus_categories":[],"category_scores_codex":[0.001018983,0.0005215124,0.001129549,0.00006722405,0.0003238545,0.0001583287,0.003067722,0.0001421875,0.0001231917],"category_scores_gemma":[0.00104677,0.0003473643,0.0008133974,0.002119078,0.005659302,0.0002632536,0.001689378,0.0004954614,0.0000325127],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001108915,"about_ca_system_score_gemma":0.0001710622,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00006135246,"about_ca_topic_score_gemma":5.999775e-7,"domain_scores_codex":[0.9958736,0.00006016067,0.001064483,0.0008955002,0.001375653,0.0007306195],"domain_scores_gemma":[0.9955855,0.0007316672,0.001657958,0.0006111261,0.001202869,0.0002108567],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0004253678,0.004578505,0.005693931,0.004307998,0.002038328,0.000003189953,0.06304801,0.0006483137,0.0742259,0.7695278,0.03249491,0.04300774],"study_design_scores_gemma":[0.000645283,0.003164091,0.007940054,0.0006088387,0.0002176122,0.00005158243,0.003605725,0.4575636,0.08728602,0.4379871,0.00007416411,0.0008559664],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9787837,0.00008453866,0.01713073,0.001772964,0.000315018,0.0005684267,0.00002294659,0.0001052833,0.001216411],"genre_scores_gemma":[0.8190758,0.00002515258,0.1799461,0.0005748551,0.000253963,0.00001054089,4.142543e-7,0.0000295545,0.00008361126],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.4569153,"threshold_uncertainty_score":0.9998978,"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."}}