{"id":"W3042329448","doi":"10.1017/s0956796820000179","title":"Review of “Algorithms for Functional Programming” by John David Stone, Springer-Verlag, 2018","year":2020,"lang":"en","type":"article","venue":"Journal of Functional Programming","topic":"Scheduling and Optimization Algorithms","field":"Engineering","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Action (physics); Content (measure theory); Functional programming; Artificial intelligence; Programming language; Mathematics","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.0007086961,0.000271938,0.0005308678,0.0001373822,0.0001135876,0.00006489959,0.0002084012,0.0001266535,0.0001569981],"category_scores_gemma":[0.0004089203,0.0002551102,0.000416607,0.0005167514,0.00006982207,0.0003445796,0.0000296859,0.000424362,0.00001154119],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001055026,"about_ca_system_score_gemma":0.0001329681,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000001845138,"about_ca_topic_score_gemma":3.025282e-7,"domain_scores_codex":[0.9976408,0.00003470059,0.001085259,0.0002282839,0.0006698107,0.0003411451],"domain_scores_gemma":[0.9981284,0.0001554306,0.0004984319,0.000135163,0.0007846545,0.0002979685],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0005262711,0.0005908781,0.0008833702,0.01130076,0.001386353,0.00001782661,0.0003045314,0.1115713,0.002052502,0.0002736797,0.1864616,0.6846309],"study_design_scores_gemma":[0.002539725,0.001085076,0.000243182,0.002704176,0.0004155316,0.0001886461,0.0002131851,0.07202046,0.001408646,0.00003935397,0.9185205,0.0006215543],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0008189154,0.05061401,0.9434757,0.001689367,0.00236311,0.0006494381,0.00003821862,0.0002045671,0.0001466652],"genre_scores_gemma":[0.02101344,0.009988518,0.9598983,0.002369706,0.005569046,0.0001892209,0.0003469027,0.0002668606,0.0003580221],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.7320588,"threshold_uncertainty_score":0.9999901,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03588523343688028,"score_gpt":0.2572712874423624,"score_spread":0.2213860540054821,"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."}}