{"id":"W2955383720","doi":"10.3233/com-190289","title":"Degrees of bi-embeddable categoricity","year":2020,"lang":"en","type":"article","venue":"Computability","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Degree (music); Successor cardinal; Spectrum (functional analysis); Limit (mathematics); Turing; Set (abstract data type)","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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0008065153,0.0003258181,0.0006751192,0.0000746599,0.000130085,0.0001061008,0.002336737,0.0001258495,0.00008303337],"category_scores_gemma":[0.0004805359,0.0003040894,0.0002614513,0.001350798,0.0002837473,0.0004695447,0.001766302,0.0003297486,0.00008591991],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001149858,"about_ca_system_score_gemma":0.0002317351,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002424162,"about_ca_topic_score_gemma":0.00001754926,"domain_scores_codex":[0.9966495,0.0003313634,0.0007654241,0.001143227,0.0005891786,0.0005212956],"domain_scores_gemma":[0.997012,0.0005368844,0.0002375631,0.001416023,0.0004091582,0.000388347],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0001720268,0.004111273,0.2825339,0.001749872,0.0002564613,0.0000904866,0.01235257,0.2141418,0.00419108,0.1087076,0.005953658,0.3657392],"study_design_scores_gemma":[0.000443394,0.0003317671,0.0794947,0.00000771082,0.00001081983,0.000009875005,0.00003053561,0.901412,0.002477076,0.01381597,0.001577662,0.0003885209],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2156546,0.0002156975,0.7797096,0.001856742,0.0004644933,0.000396877,0.000008768324,0.000548778,0.001144534],"genre_scores_gemma":[0.8728063,0.000003327687,0.1267586,0.0002629743,0.0001365863,0.000008960362,0.000002936981,0.00001249489,0.00000775402],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.6872702,"threshold_uncertainty_score":0.9999411,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04294599199195734,"score_gpt":0.2437251270631677,"score_spread":0.2007791350712104,"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."}}