{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0009716277,0.0001756802,0.0005844216,0.0000588579,0.00003926535,0.00005096086,0.0009044483,0.00007581761,0.0000653222],"category_scores_gemma":[0.00006444382,0.00009776032,0.0001265269,0.0002624734,0.0004603897,0.0001599885,0.0001852941,0.000133306,0.00004825451],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001451455,"about_ca_system_score_gemma":0.00002958255,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004656127,"about_ca_topic_score_gemma":0.00001017965,"domain_scores_codex":[0.9982527,0.0001962114,0.000587678,0.0003406979,0.0003828999,0.0002398126],"domain_scores_gemma":[0.9976501,0.001139148,0.0002415724,0.0007872028,0.0001197934,0.00006216756],"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.00001477247,0.0002335176,0.0004102795,0.0002111735,0.00002273057,0.000001679516,0.003708848,0.00004264803,0.0002757399,0.9848937,0.00003017622,0.01015474],"study_design_scores_gemma":[0.0008013927,0.0007464347,0.004315553,0.00003144817,0.00001551898,0.00003085103,0.0001972238,0.143444,0.0001436612,0.8501298,0.0000137669,0.0001303619],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3227206,0.0001881335,0.6680623,0.001699702,0.0001189123,0.0009717682,0.000003688348,0.0001008011,0.006134174],"genre_scores_gemma":[0.9171669,0.000001772153,0.08266411,0.00003739451,0.00001408869,0.00001707679,3.771385e-7,0.000005438891,0.00009279791],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.5944464,"threshold_uncertainty_score":0.398655,"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."}}