{"id":"W3104924517","doi":"10.48550/arxiv.2010.14094","title":"Abstracting Gradual Typing Moving Forward: Precise and Space-Efficient (Technical Report)","year":2020,"lang":"en","type":"preprint","venue":"arXiv (Cornell University)","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of British Columbia","funders":"","keywords":"Space (punctuation); Computer science; Typing; Artificial intelligence; Speech recognition; Operating system","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.009291735,0.001076821,0.001142768,0.001193197,0.001491181,0.00557448,0.002923868,0.001448886,0.005137186],"category_scores_gemma":[0.02523363,0.001692215,0.003216136,0.001458163,0.004660807,0.01297466,0.008781092,0.007714726,0.002953158],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001944117,"about_ca_system_score_gemma":0.00322293,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002780991,"about_ca_topic_score_gemma":0.002719423,"domain_scores_codex":[0.9916889,0.001954674,0.0008717316,0.001706046,0.002980361,0.0007982068],"domain_scores_gemma":[0.9812408,0.005263695,0.001238842,0.009000832,0.002823271,0.0004324992],"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.0002239138,0.00009617125,0.003097037,0.0003793608,0.00008777084,0.0003190816,0.001801278,0.01554411,0.01593342,0.8401858,0.00755581,0.1147763],"study_design_scores_gemma":[0.00009754451,0.0001174804,0.000773171,0.0002445813,0.0002037161,0.000624981,0.0003024393,0.07127165,0.02882758,0.8260792,0.07130368,0.0001539787],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0124168,0.0003177846,0.9788789,0.0007309349,0.0001511709,0.00007260367,0.0001540001,0.003265815,0.004012024],"genre_scores_gemma":[0.2586401,0.0007355122,0.7276012,0.0009278108,0.000249526,0.0001810983,0.0006604665,0.003223572,0.007780557],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.009291735,"threshold_uncertainty_score":0.04913998,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07572697157849342,"score_gpt":0.2139154288219637,"score_spread":0.1381884572434703,"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."}}