{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0006067028,0.001377398,0.0008225549,0.001806093,0.001219344,0.004291304,0.001264217,0.001401569,0.1239895],"category_scores_gemma":[0.002637774,0.0009512333,0.00081612,0.002297481,0.002091224,0.005520839,0.002148811,0.004589442,0.07037279],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001623874,"about_ca_system_score_gemma":0.001707149,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0007515462,"about_ca_topic_score_gemma":0.0009858435,"domain_scores_codex":[0.9991862,0.0001667367,0.00006940195,0.0001568583,0.0003500651,0.00007060952],"domain_scores_gemma":[0.9987311,0.0006556161,0.00006585048,0.0001491557,0.0003052854,0.00009301918],"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.00002064851,0.00005881237,0.0001088029,0.0006392219,0.00001015074,0.0001639586,0.0007319739,0.0007241516,0.000880533,0.4219742,0.3908454,0.1838421],"study_design_scores_gemma":[0.000002872837,0.00001016218,0.0000830541,0.00020033,0.000001911858,0.000194134,0.00004744657,0.0001649346,0.000105496,0.06747156,0.931713,0.000005151306],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.000817818,0.03847408,0.07757285,0.006507402,0.00318204,0.0001562866,0.001245564,0.002157885,0.8698862],"genre_scores_gemma":[0.01837764,0.04595029,0.06844767,0.004936198,0.003030282,0.0003893171,0.002474451,0.001656039,0.8547381],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.1239895,"threshold_uncertainty_score":0.4147863,"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."}}