{"id":"W4243469825","doi":"10.1093/logcom/exaa081","title":"Tracking computability of GPAC-generable functions","year":2020,"lang":"en","type":"article","venue":"Journal of Logic and Computation","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"Alexander von Humboldt-Stiftung","keywords":"Computability; Computation; Computable analysis; Computable function; Mathematics; Model of computation; Computer science; Theoretical computer science; Algorithm","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001444701,0.000379055,0.0005786276,0.001683691,0.0009602344,0.00269244,0.0008749674,0.001224975,0.003813485],"category_scores_gemma":[0.01342865,0.0002661897,0.0008120775,0.0009314252,0.00429078,0.004743828,0.002292737,0.002084395,0.0003244189],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001811788,"about_ca_system_score_gemma":0.0007376327,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006931372,"about_ca_topic_score_gemma":0.0004071842,"domain_scores_codex":[0.9986193,0.0002918369,0.00008157801,0.0003067857,0.000477677,0.0002227909],"domain_scores_gemma":[0.9943894,0.003444382,0.0004755479,0.0008473889,0.0005698739,0.0002734559],"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.00002828527,0.00001435184,0.0004225679,0.00002342993,0.000004356089,0.0001073275,0.0001589799,0.009645709,0.001260427,0.9825848,0.0002157432,0.005533966],"study_design_scores_gemma":[0.000009250132,0.00003202627,0.0002225431,0.00002138147,0.000005742415,0.0001421514,0.00004953414,0.0881672,0.00241186,0.9076158,0.001310659,0.00001185807],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5628402,0.0003821813,0.3920677,0.0008806618,0.00009861754,0.0001080815,0.0002035176,0.0007280181,0.04269107],"genre_scores_gemma":[0.982549,0.0001069867,0.0146041,0.0000755718,0.00003639475,0.00005610907,0.0000744747,0.00004977458,0.002447545],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.003813485,"threshold_uncertainty_score":0.01314551,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05934504869684096,"score_gpt":0.2773355776546156,"score_spread":0.2179905289577747,"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."}}