{"id":"W4313359855","doi":"10.1007/978-3-031-21112-6_11","title":"Developments","year":2023,"lang":"en","type":"book-chapter","venue":"Computer science foundations and applied logic","topic":"History and Theory of Mathematics","field":"Mathematics","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"McMaster University","funders":"","keywords":"Mathematical proof; Narrative; Key (lock); Development (topology); Computer science; Mathematical practice; Epistemology; Calculus (dental); Mathematics; Philosophy; Linguistics","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":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.001050374,0.0005441541,0.0003197805,0.00138603,0.001906832,0.005782957,0.00139627,0.001500721,0.3573516],"category_scores_gemma":[0.002684915,0.0002774701,0.0003923731,0.001381265,0.001381677,0.004441326,0.002562217,0.002368106,0.1769483],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002590782,"about_ca_system_score_gemma":0.002415156,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003429496,"about_ca_topic_score_gemma":0.006549855,"domain_scores_codex":[0.9989236,0.0001678477,0.00003359781,0.0002461443,0.0004886083,0.0001402539],"domain_scores_gemma":[0.9990026,0.0001242563,0.00003328669,0.0001795428,0.000440323,0.0002199161],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00002522283,0.00002829922,0.000137822,0.000101448,0.000002917277,0.0000524128,0.0003983521,0.00007477633,0.0002772926,0.4411186,0.4573987,0.1003842],"study_design_scores_gemma":[0.00000104793,0.000002177234,0.00005254992,0.00002334096,5.264498e-7,0.00002457229,0.0000464803,0.00001207078,0.0000466414,0.007337247,0.9924522,0.000001120669],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.000484248,0.001464008,0.001772972,0.00322453,0.001750825,0.00002385533,0.0003360237,0.0001680735,0.9907754],"genre_scores_gemma":[0.006079355,0.001744091,0.001576883,0.001340211,0.0005144419,0.00003275365,0.0005224355,0.0001785025,0.9880113],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.3573516,"threshold_uncertainty_score":0.9166599,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1096241015918955,"score_gpt":0.3023644198136292,"score_spread":0.1927403182217337,"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."}}