{"id":"W2736174437","doi":"10.5539/jmr.v9n4p69","title":"Cone Avoidance of Some Turing Degrees","year":2017,"lang":"en","type":"article","venue":"Journal of Mathematics Research","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Mathematics; Cone (formal languages); Turing; Substructure; Property (philosophy); Combinatorics; Algorithm; Computer science","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":true,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.007063596,0.0001116964,0.00043045,0.0003103889,0.0003295856,0.0004158488,0.004032942,0.00006539815,0.00001735143],"category_scores_gemma":[0.002652933,0.00008564336,0.0001485141,0.0001519027,0.0003515173,0.0008819363,0.001376635,0.0006509511,0.00002250236],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00009263227,"about_ca_system_score_gemma":0.0002457485,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001504914,"about_ca_topic_score_gemma":0.000004882459,"domain_scores_codex":[0.9968607,0.0001782944,0.0007212763,0.0001785083,0.001679391,0.0003817694],"domain_scores_gemma":[0.9953467,0.001138145,0.0008014577,0.001329816,0.001221106,0.0001628211],"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.000121025,0.007211557,0.01289746,0.005079979,0.0007504977,0.001521221,0.02520121,0.003878204,0.07768414,0.636864,0.006198097,0.2225926],"study_design_scores_gemma":[0.001593389,0.0009628839,0.02429855,0.00108079,0.0000172296,0.0006540313,0.0005172678,0.2674603,0.04816753,0.6541665,0.0006994722,0.0003821434],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.716662,0.000772917,0.2765929,0.002588727,0.0005720303,0.0002524194,0.000001980687,0.00002197884,0.00253509],"genre_scores_gemma":[0.7433547,0.00008899525,0.2561553,0.00000624341,0.0002022866,0.000001672467,2.868778e-8,0.000009113425,0.0001815986],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.2635821,"threshold_uncertainty_score":0.7494277,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.2008618493258675,"score_gpt":0.4246046638707749,"score_spread":0.2237428145449074,"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."}}