{"id":"W2162351824","doi":"10.1007/978-3-540-77566-9_17","title":"A Useful Bounded Resource Functional Language","year":2008,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"Western University","funders":"","keywords":"Computer science; Compiler; Programming language; Functional programming; Recursion (computer science); Static analysis; Traverse; Software; Theoretical computer science","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.001107443,0.0004915057,0.0004317824,0.0008643537,0.0003948054,0.0004318825,0.003242041,0.0003710607,0.00004025314],"category_scores_gemma":[0.0001870827,0.0004717773,0.000149848,0.0007308424,0.0009346397,0.000771086,0.001162758,0.000972313,0.000139427],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004522273,"about_ca_system_score_gemma":0.0006116421,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001363248,"about_ca_topic_score_gemma":0.00001327082,"domain_scores_codex":[0.9958126,0.00007324817,0.0005286988,0.00155444,0.00138989,0.0006411056],"domain_scores_gemma":[0.9970473,0.0003046278,0.0003267931,0.001941312,0.0001991246,0.0001808601],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00002414299,0.00006042623,0.00004289216,0.00005004761,0.0000216782,0.0003331461,0.003424624,0.02974497,0.0003974175,0.05510725,0.0006302993,0.9101631],"study_design_scores_gemma":[0.0006078849,0.0003009228,0.001132637,0.0003515152,0.00001278621,0.001172822,7.715805e-7,0.8680521,0.004171714,0.07520128,0.0473628,0.001632786],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0001661634,0.0006089106,0.9865453,0.0003441618,0.001661725,0.0003054649,0.00000409062,0.0002995597,0.0100646],"genre_scores_gemma":[0.01573323,0.00004337993,0.980149,0.001873011,0.0007045099,0.00001353567,0.00001117112,0.00004166307,0.001430448],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9085303,"threshold_uncertainty_score":0.9997734,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03113242641672817,"score_gpt":0.2626249164713135,"score_spread":0.2314924900545854,"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."}}