{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003097992,0.000159975,0.0002204549,0.0005528661,0.0002797442,0.0004995361,0.001063052,0.00005492172,0.000003018916],"category_scores_gemma":[0.00005413819,0.0001336641,0.00008129614,0.00128834,0.00009653255,0.001776578,0.0006247056,0.0002563243,0.00002724384],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001250084,"about_ca_system_score_gemma":0.0005886297,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00006758045,"about_ca_topic_score_gemma":0.000006595184,"domain_scores_codex":[0.9979997,0.00007884933,0.0004301524,0.0004374481,0.0004737845,0.0005800595],"domain_scores_gemma":[0.9990866,0.0002300778,0.0001315115,0.0003599155,0.0001126305,0.00007927769],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000001301481,0.0000354952,0.00005213747,0.00005954205,0.000003432235,0.000004641832,0.001861312,0.0009985688,0.00007465971,0.6180604,0.00001230851,0.3788362],"study_design_scores_gemma":[0.0001430795,0.0002661084,0.001781576,0.0001544594,0.000003065124,0.00005669077,0.00006304651,0.7728741,0.003552187,0.2203714,0.000529967,0.0002043113],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.032628,0.0002473378,0.9468648,0.00009549459,0.002912025,0.0002003641,9.699076e-8,0.0002370095,0.01681481],"genre_scores_gemma":[0.8106512,0.000001033824,0.1889892,0.0001041146,0.0002300062,0.000002132742,8.581019e-7,0.000007333034,0.00001411223],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7780232,"threshold_uncertainty_score":0.5450664,"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."}}