{"id":"W4379615560","doi":"10.1017/9781009089005","title":"Introduction to Proofs and Proof Strategies","year":2023,"lang":"en","type":"book","venue":"Cambridge University Press eBooks","topic":"History and Theory of Mathematics","field":"Mathematics","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Mathematical proof; Cardinality (data modeling); Focus (optics); Mathematics education; Computer science; Perspective (graphical); Process (computing); Mathematical induction; Mathematics; Artificial intelligence; Programming language","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.0003365378,0.0003387016,0.0004749108,0.000241166,0.0002296487,0.00006206152,0.0003211101,0.0002972779,0.000004990566],"category_scores_gemma":[0.0001079404,0.0003854298,0.0001013419,0.00002286096,0.0002112083,0.000115143,0.0002859455,0.0003893059,0.0000423097],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002752894,"about_ca_system_score_gemma":0.0002479094,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00000447599,"about_ca_topic_score_gemma":0.000003854859,"domain_scores_codex":[0.9986715,0.00008877407,0.0002170602,0.0005047187,0.0002576012,0.0002602875],"domain_scores_gemma":[0.9987309,0.0001972251,0.0002013938,0.0005712793,0.0001322771,0.0001669257],"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.00003874984,0.00001237,1.528639e-8,0.0007106914,0.00006347225,0.00005085647,0.0003794901,0.000001129157,0.00001590564,0.5897245,0.4086399,0.0003629363],"study_design_scores_gemma":[0.0002436448,0.00009192593,4.392337e-7,0.000247962,0.0002370038,0.00002118118,0.0003311664,0.00001470357,0.0002489151,0.01020161,0.9879463,0.0004151909],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.000466186,0.0000301913,0.002288451,0.00007204064,0.0003828493,0.0009765782,0.00009920767,0.0003930439,0.9952915],"genre_scores_gemma":[0.00003957755,0.000006208431,0.0009944943,0.0000143456,0.0006616663,0.000004337613,0.00002305192,0.00007789106,0.9981784],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.5795229,"threshold_uncertainty_score":0.9998598,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03350268174878532,"score_gpt":0.2356286618403889,"score_spread":0.2021259800916036,"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."}}