{"id":"W2968326497","doi":"10.1145/3371077","title":"Undecidability of <i> d <sub>&lt;:</sub> </i> and its decidable fragments","year":2019,"lang":"en","type":"article","venue":"Proceedings of the ACM on Programming Languages","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":9,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo; McGill University","funders":"Strong","keywords":"Decidability; Soundness; Subtyping; Mathematical proof; Completeness (order theory); Undecidable problem; Intersection (aeronautics); Calculus (dental)","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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0008302887,0.0002110803,0.0003551224,0.00009194944,0.00009530914,0.0001431905,0.002219977,0.0001120518,0.000003499741],"category_scores_gemma":[0.0007341281,0.0001427061,0.0001236852,0.0005031181,0.0000904585,0.0003602297,0.001277317,0.0001700237,0.00001533077],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003655168,"about_ca_system_score_gemma":0.00003342461,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000272315,"about_ca_topic_score_gemma":0.000004083534,"domain_scores_codex":[0.9982008,0.00002092819,0.0003846867,0.000488379,0.0005322757,0.0003729317],"domain_scores_gemma":[0.998351,0.0001410012,0.0004510977,0.0006995155,0.0002737187,0.0000837006],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"bench_or_experimental","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.00008221716,0.0007245984,0.1501903,0.0019396,0.0001728252,0.000002630992,0.004102925,0.000008134571,0.3975703,0.248201,0.0006503573,0.196355],"study_design_scores_gemma":[0.0008279479,0.0006496686,0.009524824,0.0001413977,0.0000352163,0.00002030127,0.0006460502,0.0002234548,0.9655091,0.01933471,0.002734607,0.0003526924],"study_design_candidate":"bench_or_experimental","study_design_consensus":"bench_or_experimental","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9951662,0.0007098542,0.0001514416,0.0003293307,0.0002344433,0.0009848517,0.00000123685,0.000125243,0.002297371],"genre_scores_gemma":[0.9962416,0.00001894011,0.003381929,0.00007662467,0.00003608569,0.00004596707,5.313595e-7,0.00001621865,0.000182128],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.5679387,"threshold_uncertainty_score":0.5819386,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0131746766437271,"score_gpt":0.2418999690306452,"score_spread":0.2287252923869181,"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."}}