{"id":"W3107440164","doi":"10.4230/darts.6.2.14","title":"Scala with Explicit Nulls (Artifact)","year":2020,"lang":"en","type":"article","venue":"DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Scala; Artifact (error); Computer science; Programming language; Code (set theory); Compiler; Artificial intelligence; Java; Set (abstract data type)","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.002827235,0.001042457,0.0007534551,0.001006869,0.001356251,0.003274028,0.003257748,0.001373676,0.06746223],"category_scores_gemma":[0.01157838,0.001421978,0.002038489,0.001669522,0.001939365,0.004450712,0.00601103,0.004059249,0.04550176],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001848648,"about_ca_system_score_gemma":0.003287395,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.007285414,"about_ca_topic_score_gemma":0.006743584,"domain_scores_codex":[0.9970065,0.0005116771,0.0003056401,0.0004840795,0.001405319,0.0002867543],"domain_scores_gemma":[0.990415,0.001377082,0.000354927,0.005634211,0.001880934,0.000337858],"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.0005656681,0.00009208054,0.002480874,0.0008011254,0.0001168315,0.000410245,0.0003827239,0.003816876,0.01017794,0.2019531,0.6735087,0.1056938],"study_design_scores_gemma":[0.0001224075,0.00002346439,0.0008309864,0.00009853607,0.00003560058,0.0002578394,0.00002538912,0.008202527,0.01438755,0.03206646,0.9438765,0.0000727082],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"methods","genre_gemma":"software","genre_scores_codex":[0.003980172,0.0002513598,0.6622354,0.001835297,0.003038792,0.0001776134,0.01508109,0.2628032,0.05059693],"genre_scores_gemma":[0.09678287,0.0009062449,0.4925285,0.00438361,0.00175244,0.0009764501,0.04550435,0.250312,0.1068535],"genre_candidate":"software","genre_consensus":null,"teacher_disagreement_score":0.06746223,"threshold_uncertainty_score":0.2256837,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02375370871475128,"score_gpt":0.2350802452951936,"score_spread":0.2113265365804424,"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."}}