{"id":"W2913543606","doi":"10.1515/comp-2019-0001","title":"A framework for improving error messages in dependently-typed languages","year":2019,"lang":"en","type":"article","venue":"Open Computer Science","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of British Columbia","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; Unification; Correctness; Programming language; Programmer; Set (abstract data type); Heuristic; Theoretical computer science; Artificial intelligence","routes":{"ca_aff":true,"ca_fund":true,"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.03203315,0.002624043,0.002052828,0.005602556,0.002921209,0.007132054,0.0100974,0.005258011,0.005861078],"category_scores_gemma":[0.09706091,0.002968683,0.003489959,0.002767986,0.01003257,0.01628637,0.012252,0.008366655,0.002262814],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003189948,"about_ca_system_score_gemma":0.004584847,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003941799,"about_ca_topic_score_gemma":0.002338534,"domain_scores_codex":[0.9688459,0.01216212,0.003257138,0.00401236,0.009487879,0.002234685],"domain_scores_gemma":[0.9041759,0.04236661,0.00743766,0.02939377,0.01475518,0.001870888],"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.0006436908,0.0004437254,0.002899285,0.0006014042,0.0001477449,0.0007673371,0.003955477,0.07939876,0.01614304,0.6567062,0.006310588,0.2319828],"study_design_scores_gemma":[0.0001678613,0.0003081385,0.0002782777,0.0003071196,0.0002068771,0.0004632132,0.0004555356,0.4723629,0.04899875,0.4480402,0.02813555,0.000275682],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.003278969,0.0000583916,0.9913442,0.0002760736,0.00004692165,0.00009813842,0.00002071034,0.004351717,0.0005248648],"genre_scores_gemma":[0.08122343,0.0001093003,0.9136201,0.0002687799,0.00008866414,0.0002090268,0.0001037162,0.001972323,0.002404597],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.03203315,"threshold_uncertainty_score":0.1694095,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02975192294778471,"score_gpt":0.319173284296663,"score_spread":0.2894213613488782,"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."}}