{"id":"W2980681923","doi":"10.1002/malq.201700049","title":"Degrees of categoricity of trees and the isomorphism problem","year":2019,"lang":"en","type":"article","venue":"Mathematical logic quarterly","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"University of Waterloo","keywords":"Mathematics; Isomorphism (crystallography); Rank (graph theory); Degree (music); Mathematical proof; Tree (set theory); Limit (mathematics); Combinatorics; Discrete mathematics; 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.002818412,0.0002491886,0.0006032728,0.001517772,0.001315742,0.003189692,0.0007257277,0.000975725,0.003700352],"category_scores_gemma":[0.01089329,0.0003842038,0.0008147652,0.0009266365,0.00456247,0.007554134,0.004006661,0.002261402,0.000248312],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001362383,"about_ca_system_score_gemma":0.0008200012,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0007582783,"about_ca_topic_score_gemma":0.0009148194,"domain_scores_codex":[0.9966869,0.001235898,0.0002471743,0.000564753,0.0007986861,0.0004667126],"domain_scores_gemma":[0.9801444,0.01361207,0.001229302,0.002104547,0.001502213,0.001407489],"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.00009046029,0.00005208508,0.004324345,0.00008790653,0.00002041594,0.000150353,0.001095134,0.005033402,0.003013836,0.9786736,0.0004710658,0.00698744],"study_design_scores_gemma":[0.00003748542,0.00008376761,0.002828601,0.000035708,0.00002842555,0.0003612291,0.000911259,0.01461934,0.004094847,0.9714472,0.005516284,0.00003597581],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8496991,0.0003479856,0.1277605,0.001854571,0.00004986075,0.00007067278,0.0002311645,0.0002262884,0.01975995],"genre_scores_gemma":[0.9910157,0.00006442815,0.006640701,0.00007234028,0.00003175282,0.00002857365,0.0001120941,0.00001737649,0.002017006],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.003700352,"threshold_uncertainty_score":0.01490533,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01003208806179799,"score_gpt":0.2137732375917868,"score_spread":0.2037411495299888,"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."}}