{"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":"codex-gemma-dda1882f352a","candidate_categories":["scholarly_communication"],"consensus_categories":[],"category_scores_codex":[0.001760342,0.0001719138,0.0002725777,0.0001856186,0.000210342,0.001945659,0.005229312,0.0000776604,0.00001436979],"category_scores_gemma":[0.00007193309,0.0001424942,0.00005559549,0.0009543588,0.00009412962,0.001748881,0.002144075,0.0001584534,0.0001236291],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00007614464,"about_ca_system_score_gemma":0.0002586127,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003290987,"about_ca_topic_score_gemma":0.00007063438,"domain_scores_codex":[0.997718,0.00005496747,0.000271762,0.0009275423,0.0004235845,0.0006041703],"domain_scores_gemma":[0.9985134,0.0001500865,0.0001536963,0.0009402392,0.0001183728,0.0001242103],"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.00001029192,0.000101512,0.006986426,0.0000691047,0.000006602815,0.00002510558,0.00195178,0.0001786357,0.0009884196,0.7877039,0.0001642602,0.201814],"study_design_scores_gemma":[0.003067569,0.001212136,0.02514697,0.0001325029,0.00001199809,0.0001117941,0.0005492468,0.7949566,0.008574503,0.1526905,0.01180311,0.001743093],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01378957,0.00009227628,0.9804314,0.0003905093,0.001511332,0.001185759,5.863078e-7,0.00009892329,0.002499643],"genre_scores_gemma":[0.7197327,7.507582e-7,0.2793486,0.0002963653,0.00007723189,0.00004925935,6.59985e-7,0.000007434064,0.0004869816],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7947779,"threshold_uncertainty_score":0.9990904,"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."}}