{"id":"W2104329043","doi":"10.2178/jsl/1318338849","title":"Limits on jump inversion for strong reducibilities","year":2011,"lang":"en","type":"article","venue":"Journal of Symbolic Logic","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":8,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Jump; Inversion (geology); Set (abstract data type); Mathematics; Algorithm; Computer science; Discrete mathematics; Combinatorics; Physics; Biology","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":[],"consensus_categories":[],"category_scores_codex":[0.001115859,0.0001932697,0.0003845794,0.0002735649,0.000118873,0.00007509966,0.001263656,0.0001010292,0.0000375044],"category_scores_gemma":[0.0003342426,0.0001436263,0.000280296,0.000257918,0.00009082137,0.0005094988,0.0001780924,0.000274936,0.00002367096],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001535712,"about_ca_system_score_gemma":0.0001514262,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001299332,"about_ca_topic_score_gemma":0.000002000824,"domain_scores_codex":[0.9981664,0.0001206618,0.0005844326,0.0003529208,0.0004121471,0.0003634285],"domain_scores_gemma":[0.9980864,0.0003146133,0.0004304897,0.0005863882,0.0003975556,0.0001845833],"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.0007129891,0.003855611,0.008322195,0.0003437556,0.0003873427,0.0002754372,0.02885288,0.001787297,0.003002032,0.6192811,0.02018651,0.3129928],"study_design_scores_gemma":[0.004146855,0.01346429,0.05981205,0.0003326215,0.0001156418,0.0007295933,0.001851619,0.0447947,0.020046,0.8474936,0.005990139,0.001222847],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6362824,0.0004885782,0.345695,0.002228475,0.004113543,0.0005914958,0.000005440396,0.0001489718,0.01044604],"genre_scores_gemma":[0.921277,0.00002754977,0.07767605,0.0004286312,0.0004138528,0.000004834574,3.575939e-7,0.00001031409,0.000161396],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.31177,"threshold_uncertainty_score":0.5856912,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1159473559644005,"score_gpt":0.28514799890236,"score_spread":0.1692006429379595,"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."}}