{"id":"W32060046","doi":"10.1136/bmj.m616","title":"Proceedings of the 2005 ACM SIGPLAN international workshop on Types in languages design and implementation","year":2005,"lang":"en","type":"article","venue":"","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Computer science; Type inference; Programming language; Mathematical proof; Compiler; Variety (cybernetics); Software engineering; Inference; Artificial intelligence","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":false,"about_ca":true,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00938639,0.002179372,0.002130321,0.001901915,0.002260939,0.009866817,0.003485358,0.002511613,0.07580248],"category_scores_gemma":[0.0124101,0.002492192,0.003269331,0.00240466,0.00293336,0.008640427,0.003740454,0.008953816,0.02284746],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002940567,"about_ca_system_score_gemma":0.008502029,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.009106728,"about_ca_topic_score_gemma":0.01289796,"domain_scores_codex":[0.9950101,0.002004324,0.000614948,0.0007050023,0.001268917,0.0003966622],"domain_scores_gemma":[0.9928827,0.002717845,0.0002408071,0.001780584,0.00154804,0.0008299504],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0003503799,0.0003131844,0.0008084865,0.0008660974,0.000127556,0.0004027239,0.001072565,0.004687209,0.002930766,0.1131751,0.5283173,0.3469487],"study_design_scores_gemma":[0.00007472192,0.00006890267,0.000257352,0.0003874089,0.0000702078,0.0003035609,0.0001892993,0.005309975,0.001255296,0.03056296,0.9614831,0.0000372578],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.004582393,0.02654395,0.7941413,0.01743086,0.028379,0.0009257401,0.002147604,0.008394293,0.1174549],"genre_scores_gemma":[0.02355616,0.02793365,0.6965985,0.003891694,0.004244942,0.001492974,0.00750553,0.004814684,0.2299619],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.07580248,"threshold_uncertainty_score":0.2535846,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02781501176345844,"score_gpt":0.3038709874936015,"score_spread":0.276055975730143,"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."}}