{"id":"W2488371689","doi":"10.1017/cbo9781139164900.006","title":"Verifying Algorithms: Some Examples","year":2002,"lang":"en","type":"book-chapter","venue":"Cambridge University Press eBooks","topic":"History and Theory of Mathematics","field":"Mathematics","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Queen's University","funders":"","keywords":"Computer science; 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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0002460464,0.0005621095,0.0007428236,0.000227122,0.0003722892,0.00003932438,0.0006889629,0.0005526076,0.00008456848],"category_scores_gemma":[0.00005398227,0.0006702784,0.0003775669,0.000006688173,0.0003711441,0.0001461835,0.000314194,0.0006702219,0.0001199949],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000314683,"about_ca_system_score_gemma":0.00005656572,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001090044,"about_ca_topic_score_gemma":4.757716e-7,"domain_scores_codex":[0.9982718,0.00006786457,0.0003430386,0.0005370047,0.0004041925,0.0003761392],"domain_scores_gemma":[0.9979026,0.0004214736,0.0004289122,0.0009187001,0.0001148226,0.000213489],"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.00002244064,0.00002674765,3.725497e-8,0.0004449646,0.000225911,0.0003914766,0.000259103,3.019683e-7,0.00001019924,0.934179,0.06348798,0.0009518345],"study_design_scores_gemma":[0.0004902793,0.00004499425,1.335234e-7,0.0004420661,0.0005073848,0.00004063613,0.00004887943,0.00006280359,0.0001107006,0.01029782,0.9872516,0.0007027144],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.00009013334,0.0003113257,0.001389688,0.000006306055,0.0003468066,0.0004159495,0.0002193793,0.0003759803,0.9968444],"genre_scores_gemma":[0.00006957729,0.0001276594,0.003179672,0.00004105831,0.0002911059,0.000001042034,0.00001886563,0.0001261358,0.9961449],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.9238812,"threshold_uncertainty_score":0.9995748,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0836718802484695,"score_gpt":0.2345450101038473,"score_spread":0.1508731298553778,"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."}}