{"id":"W2113648859","doi":"10.1093/logcom/exr050","title":"Functions definable by numerical set-expressions","year":2011,"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":"Brock University","funders":"Engineering and Physical Sciences Research Council","keywords":"Set (abstract data type); Computer science; Mathematics; Algorithm; Programming language","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.0003528962,0.0001153775,0.0002077702,0.0001052528,0.0001677034,0.0000806586,0.0003122711,0.00006074385,0.00002854988],"category_scores_gemma":[0.00005279169,0.00008856498,0.00007913294,0.0002797737,0.00005053339,0.0004869123,0.000154885,0.000201232,0.00001346213],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000388587,"about_ca_system_score_gemma":0.00006281232,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001808885,"about_ca_topic_score_gemma":3.515769e-7,"domain_scores_codex":[0.9988642,0.0001217629,0.0003916307,0.0001965957,0.0002488555,0.0001769758],"domain_scores_gemma":[0.9990373,0.0001473701,0.0003003466,0.0001368152,0.0002345837,0.0001435643],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0002318435,0.003703312,0.02212995,0.0001146232,0.0003208577,0.0003421441,0.01334129,0.01861492,0.00339955,0.08737054,0.1064079,0.744023],"study_design_scores_gemma":[0.002253345,0.003610577,0.0698737,0.00008539433,0.0001003243,0.001825761,0.0009272638,0.4074612,0.000570191,0.5038304,0.008662868,0.0007990038],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02425935,0.0004082881,0.9727197,0.0004782912,0.0004484079,0.00006676642,0.000001459295,0.00004587405,0.001571815],"genre_scores_gemma":[0.8489799,0.00002154778,0.1506484,0.0001996885,0.00007345097,0.000001919347,0.000001435704,0.000004272134,0.00006936656],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8247206,"threshold_uncertainty_score":0.3611575,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05025316820857675,"score_gpt":0.2668335121783242,"score_spread":0.2165803439697474,"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."}}