{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002263242,0.001176977,0.001127023,0.001365513,0.001888841,0.002461928,0.001801812,0.002425275,0.009698524],"category_scores_gemma":[0.01216473,0.0007421803,0.001539739,0.003740417,0.002462566,0.006467582,0.002573331,0.002833999,0.002875064],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001677043,"about_ca_system_score_gemma":0.0009453078,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001541691,"about_ca_topic_score_gemma":0.00152712,"domain_scores_codex":[0.9978343,0.0007193843,0.0002127874,0.0002502523,0.0008277595,0.000155572],"domain_scores_gemma":[0.9936029,0.005198255,0.0001316091,0.0005732427,0.0003947436,0.00009918513],"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.0001151136,0.0001657552,0.000608424,0.001235202,0.00004498037,0.0004692951,0.0006605004,0.02062358,0.0009810742,0.741348,0.03875005,0.194998],"study_design_scores_gemma":[0.00004522979,0.00002658337,0.0002221233,0.0001815521,0.00002089332,0.0004446668,0.0001043892,0.03146124,0.000970367,0.9156411,0.05085959,0.00002226041],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0174,0.01749594,0.7788389,0.004163535,0.0003830228,0.0003405035,0.0005398335,0.002851566,0.1779866],"genre_scores_gemma":[0.315527,0.02193087,0.613364,0.00159202,0.0007648238,0.0007119398,0.001280327,0.001103497,0.04372547],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.009698524,"threshold_uncertainty_score":0.03244478,"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."}}