{"id":"W4399262243","doi":"10.1145/3670419","title":"On Formal Methods Thinking in Computer Science Education","year":2024,"lang":"en","type":"article","venue":"Formal Aspects of Computing","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":16,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"Engineering and Physical Sciences Research Council","keywords":"Computer science; Theory of computation; Curriculum; Computational thinking; Formal methods; Quality (philosophy); Formal semantics (linguistics); Mathematics education; Semantics (computer science); Simple (philosophy); Logical reasoning; Formal education; Philosophy of science; Programming language; Artificial intelligence; Epistemology; Pedagogy; Sociology; Psychology","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.01275268,0.0007112625,0.0005818579,0.002767435,0.002681907,0.006176955,0.001219081,0.003361225,0.007567945],"category_scores_gemma":[0.01459343,0.0004328218,0.000646621,0.002791791,0.02415385,0.01128188,0.003406717,0.007860179,0.001836353],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.005796242,"about_ca_system_score_gemma":0.005157563,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003031979,"about_ca_topic_score_gemma":0.002517926,"domain_scores_codex":[0.9932335,0.003999151,0.0003231562,0.0005077424,0.001577873,0.0003586481],"domain_scores_gemma":[0.9772105,0.0194122,0.000618097,0.0009091267,0.001275999,0.0005741678],"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.000004391401,0.00001759352,0.00008811042,0.0001263017,0.000002788248,0.00001776312,0.001261032,0.0003119737,0.00006861104,0.9680851,0.007201331,0.02281512],"study_design_scores_gemma":[0.000007393466,0.00001646303,0.0001157781,0.0006479538,0.000002839612,0.00005347929,0.0004710622,0.0004502606,0.00009891914,0.8677253,0.1303991,0.00001148814],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.005316078,0.1165835,0.3239455,0.2305637,0.006410697,0.0001370715,0.0001058879,0.000528064,0.3164094],"genre_scores_gemma":[0.3713815,0.1964096,0.2556162,0.06066086,0.01333095,0.001201918,0.0003094836,0.000792524,0.100297],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01275268,"threshold_uncertainty_score":0.06744343,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01869491354495632,"score_gpt":0.3182641761029621,"score_spread":0.2995692625580058,"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."}}