{"id":"W4403305392","doi":"10.1017/9781009302180.017","title":"Recursion on Trees","year":2024,"lang":"en","type":"book-chapter","venue":"Cambridge University Press eBooks","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"York University","funders":"","keywords":"Recursion (computer science); Computer science; Mathematics; 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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.00005245579,0.0002435521,0.0001873984,0.000281187,0.0001233222,0.0001190798,0.0005019493,0.0002320351,0.0000095583],"category_scores_gemma":[0.000003466695,0.0002731738,0.0001588036,0.00001306937,0.00008087864,0.0001213793,0.0002951531,0.0003655041,0.0001312348],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001806868,"about_ca_system_score_gemma":0.00007330281,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001500833,"about_ca_topic_score_gemma":0.000002209801,"domain_scores_codex":[0.9989438,0.0000162311,0.000118666,0.0005281551,0.0002420485,0.0001510883],"domain_scores_gemma":[0.9991567,0.00004600304,0.00009490666,0.0005178183,0.00007393914,0.0001106309],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00001161474,0.000003013255,1.42317e-7,0.00001867197,0.00003308732,0.0001551134,0.00002735467,0.00002870118,0.000007426532,0.9558442,0.02702775,0.01684297],"study_design_scores_gemma":[0.0001757064,0.00005827139,0.000008992589,0.0002090825,0.00003918533,0.00001505014,0.000005159873,0.002957656,0.0001004001,0.0001170159,0.9960185,0.0002949795],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.000004225773,0.00004895048,0.02671243,0.000120105,0.0007165886,0.0001867379,0.00005621912,0.000414288,0.9717405],"genre_scores_gemma":[0.0005383977,0.00009263913,0.0006960894,0.00009607249,0.00007166994,2.635221e-7,0.00001703631,0.0000202095,0.9984676],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.9689907,"threshold_uncertainty_score":0.999972,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01880095087657459,"score_gpt":0.1973917983131952,"score_spread":0.1785908474366206,"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."}}