{"id":"W3100307655","doi":"10.1145/1507244.1507252","title":"Differential recursion","year":2009,"lang":"en","type":"article","venue":"ACM Transactions on Computational Logic","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"Japan Society for the Promotion of Science","keywords":"Recursion (computer science); Mathematics; Algebra over a field; Computable function; μ operator; Primitive recursive function; Computation; Class (philosophy); Differential (mechanical device); Computability theory; Algebraic number; Discrete mathematics; Computer science; Pure mathematics; Algorithm; Recursive functions","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.00014522,0.0002578636,0.0002343787,0.0002531389,0.0003868537,0.0001776154,0.001309804,0.0001097338,0.0002319048],"category_scores_gemma":[0.00004192941,0.0002390206,0.0001961326,0.0006313215,0.00006124974,0.0003799396,0.00002921804,0.0003256644,0.0002313663],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001294932,"about_ca_system_score_gemma":0.00008061732,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000005990149,"about_ca_topic_score_gemma":0.000001948497,"domain_scores_codex":[0.9978604,0.0001366177,0.0003627162,0.0006896297,0.0006015893,0.000349054],"domain_scores_gemma":[0.9982856,0.00049368,0.00008916634,0.0007962206,0.0001822554,0.000153082],"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.00003719414,0.001180487,0.00001678366,0.000007477427,0.0000287964,0.0000221629,0.0002149761,0.2718085,0.0001731201,0.07405082,0.0002785814,0.652181],"study_design_scores_gemma":[0.0006122263,0.0007167921,0.01356224,0.00001444033,0.00001099173,0.00006247302,0.000008119046,0.3034643,0.0003517563,0.6802444,0.0006079411,0.0003443023],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.007264753,0.00002505362,0.9804235,0.009908251,0.0007966873,0.0002477336,0.00001031632,0.0005559616,0.0007677926],"genre_scores_gemma":[0.7312433,0.000005470577,0.2673512,0.001186953,0.00007224116,0.00001034413,0.00001246582,0.000006537388,0.0001115461],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7239785,"threshold_uncertainty_score":0.9746978,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02643501812986163,"score_gpt":0.2741020397308102,"score_spread":0.2476670216009485,"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."}}