{"id":"W2000110740","doi":"10.1145/1473195.1473220","title":"Another approach for resisting student resistance to formal methods","year":2008,"lang":"en","type":"article","venue":"ACM SIGCSE Bulletin","topic":"Teaching and Learning Programming","field":"Computer Science","cited_by":11,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Variety (cybernetics); Computer science; Formal methods; Generative grammar; Curriculum; Foundation (evidence); Subject (documents); Mathematics education; Programming language; Software engineering; Artificial intelligence; Sociology; Pedagogy; Psychology; World Wide Web","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.02387801,0.001360081,0.001103329,0.003411756,0.005473815,0.01022899,0.004708298,0.006928913,0.00966996],"category_scores_gemma":[0.08566345,0.0009875543,0.00167653,0.001447389,0.008680671,0.009031974,0.01235464,0.01260167,0.006086458],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002256658,"about_ca_system_score_gemma":0.005675177,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0005584792,"about_ca_topic_score_gemma":0.0008916937,"domain_scores_codex":[0.9445097,0.02788451,0.002507757,0.006070094,0.01668984,0.002338192],"domain_scores_gemma":[0.8641372,0.0448137,0.01314362,0.04151966,0.0286713,0.007714463],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"qualitative","study_design_scores_codex":[0.0007292301,0.002172894,0.01586456,0.00109028,0.0002864282,0.0009236949,0.1057377,0.001653387,0.05322874,0.2984954,0.06139095,0.4584267],"study_design_scores_gemma":[0.0007049643,0.003185721,0.00699039,0.001054106,0.0002955262,0.005048633,0.02485969,0.01251472,0.03161046,0.2033032,0.7098876,0.0005450628],"study_design_candidate":"qualitative","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1193633,0.0006281853,0.6540501,0.07030389,0.001644122,0.001224951,0.00008006223,0.005541387,0.147164],"genre_scores_gemma":[0.5520789,0.0004081236,0.3179618,0.0169966,0.0005018996,0.001855589,0.000137962,0.001399347,0.1086597],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.02387801,"threshold_uncertainty_score":0.1262805,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05526610070860442,"score_gpt":0.3410214399643092,"score_spread":0.2857553392557047,"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."}}