{"id":"W7115033889","doi":"","title":"Modern type error localization in education","year":2025,"lang":"en","type":"dissertation","venue":"eScholarship@McGill (McGill)","topic":"Psychometric Methodologies and Testing","field":"Decision Sciences","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"","keywords":"Haskell; Functional programming; Compiler; Context (archaeology); Set (abstract data type); Source code; Type inference; Satisfiability modulo theories; Focus (optics)","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.0223455,0.001212377,0.001106507,0.008697145,0.00179843,0.007207113,0.002607398,0.002527032,0.01371571],"category_scores_gemma":[0.153146,0.0008766985,0.0009672661,0.009619414,0.003512037,0.007513851,0.006075967,0.003670939,0.004792933],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00309992,"about_ca_system_score_gemma":0.005194146,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004886737,"about_ca_topic_score_gemma":0.003558856,"domain_scores_codex":[0.9625382,0.0143938,0.002748735,0.006709625,0.01207249,0.00153723],"domain_scores_gemma":[0.8546658,0.08907843,0.01518931,0.0176241,0.01991114,0.003531265],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"observational","study_design_scores_codex":[0.000168986,0.0002493922,0.1092903,0.0007108425,0.0001013401,0.0001317497,0.002124741,0.009146878,0.0009853385,0.04151566,0.03739449,0.7981803],"study_design_scores_gemma":[0.0001177554,0.0004372314,0.1137523,0.002832729,0.0001535017,0.001306163,0.006099195,0.1270124,0.01315181,0.4927151,0.2421287,0.0002931623],"study_design_candidate":"observational","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2450793,0.01090305,0.6356791,0.02221342,0.001175641,0.0005403493,0.008881567,0.01104955,0.06447805],"genre_scores_gemma":[0.7487432,0.003161504,0.2258466,0.001937384,0.0004577116,0.0006815338,0.006275481,0.001532542,0.01136403],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.0223455,"threshold_uncertainty_score":0.1181757,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.2160067007646173,"score_gpt":0.4233298324420958,"score_spread":0.2073231316774785,"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."}}