{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","open_science"],"consensus_categories":[],"category_scores_codex":[0.004170507,0.0003057863,0.0003782905,0.0002827199,0.0001726021,0.0008256941,0.003470595,0.0002586348,0.00002453424],"category_scores_gemma":[0.006221645,0.0003573186,0.0001786841,0.0006994751,0.00003648948,0.00013724,0.01202995,0.00128161,0.00006946084],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001944022,"about_ca_system_score_gemma":0.0005292362,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000274039,"about_ca_topic_score_gemma":0.00001414339,"domain_scores_codex":[0.9965546,0.0009143968,0.0003575987,0.001054944,0.000564722,0.0005537518],"domain_scores_gemma":[0.9930705,0.003855158,0.0001258245,0.002407741,0.0003989358,0.0001417966],"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.000002557143,0.0002594099,0.2666507,0.0007669154,0.0005799143,0.0004063625,0.002059431,0.1666716,0.0004532961,0.001240355,0.006214874,0.5546945],"study_design_scores_gemma":[0.0002183195,0.00002351135,0.761067,0.000560165,0.000007359997,0.00007576367,0.00001212616,0.2341253,0.0007178774,0.001189212,0.001120771,0.0008825661],"study_design_candidate":"observational","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1718673,0.0006496098,0.8210116,0.0003098003,0.004614343,0.0001759996,0.000002919729,0.001206636,0.0001617597],"genre_scores_gemma":[0.8074613,0.00001782966,0.1917224,0.00005926161,0.000478263,0.00001374001,0.00004649474,0.00003873878,0.000161985],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.635594,"threshold_uncertainty_score":0.9998879,"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."}}