{"id":"W3157431840","doi":"10.1145/2544174.2500591","title":"Wellfounded recursion with copatterns","year":2013,"lang":"en","type":"article","venue":"ACM SIGPLAN Notices","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":24,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"","keywords":"Computer science; Normalization (sociology); Rewriting; Recursion (computer science); Programming language; Theoretical computer science; Functional programming; Data type; 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":"codex-gemma-dda1882f352a","candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0001500487,0.0001397659,0.000148979,0.00005559158,0.0001196295,0.0004172003,0.001214749,0.00005825741,0.0001121686],"category_scores_gemma":[0.00004021318,0.00009290432,0.00002873934,0.000177974,0.00004290804,0.0006381841,0.0002030233,0.0001001699,0.001479401],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001888568,"about_ca_system_score_gemma":0.00002710177,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0008305237,"about_ca_topic_score_gemma":0.000133195,"domain_scores_codex":[0.9988821,0.00005872222,0.000153264,0.0003368391,0.0002678098,0.0003013255],"domain_scores_gemma":[0.9987535,0.0001441857,0.0001206445,0.0008012577,0.00007681164,0.000103545],"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.0000648653,0.000635407,0.2595938,0.0004689766,0.0002537047,0.0003242859,0.01210449,0.0001533729,0.002188501,0.3492715,0.04854739,0.3263937],"study_design_scores_gemma":[0.005738706,0.005498723,0.2124757,0.0002087433,0.0001361952,0.0004758699,0.002228088,0.02392885,0.01367514,0.1666386,0.564743,0.004252391],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5627036,0.0006009797,0.3670302,0.007094877,0.002879265,0.001721446,0.000002308669,0.001453247,0.05651404],"genre_scores_gemma":[0.9911054,0.000004067303,0.007312872,0.0003527627,0.000126663,0.00002750443,0.000004772754,0.000009258487,0.001056695],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.5161957,"threshold_uncertainty_score":0.999298,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02353269379013488,"score_gpt":0.2382345287073475,"score_spread":0.2147018349172126,"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."}}