{"id":"W2968094109","doi":"10.1145/3450952","title":"Bidirectional Typing","year":2021,"lang":"en","type":"preprint","venue":"ACM Computing Surveys","topic":"Software Engineering Research","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Queen's University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Typing; Type inference; Computer science; Undecidable problem; Inference; Programming language; Annotation; Type (biology); Theoretical computer science; Artificial intelligence; Biology; Speech recognition; Decidability","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.008150815,0.001243175,0.001384928,0.002117001,0.002895217,0.006434172,0.003432635,0.002300686,0.0234544],"category_scores_gemma":[0.02299748,0.001734992,0.002144771,0.00261513,0.004469146,0.01299933,0.009434218,0.004373391,0.0120193],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001792507,"about_ca_system_score_gemma":0.003688741,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00286735,"about_ca_topic_score_gemma":0.00359576,"domain_scores_codex":[0.9891871,0.002952322,0.001288512,0.002303152,0.003118566,0.001150381],"domain_scores_gemma":[0.9773951,0.005790675,0.0009998525,0.01087781,0.004351715,0.0005848176],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0001403328,0.00004206177,0.002057688,0.0003747326,0.00005720558,0.0002074032,0.001349333,0.001355921,0.003327677,0.8798891,0.01967509,0.0915235],"study_design_scores_gemma":[0.00004314845,0.00005533173,0.0004134643,0.0003981163,0.0001332114,0.0006881448,0.0004338459,0.008580934,0.01145573,0.5892612,0.3884475,0.00008936167],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.007302192,0.0008445396,0.9293053,0.001355878,0.000775858,0.0001950081,0.001240122,0.007058833,0.05192234],"genre_scores_gemma":[0.3059579,0.002364181,0.5795293,0.003347197,0.0008044278,0.0009067173,0.003358045,0.009431893,0.09430048],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.0234544,"threshold_uncertainty_score":0.07846278,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04907027266529844,"score_gpt":0.308312607897336,"score_spread":0.2592423352320375,"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."}}