{"id":"W2890121425","doi":"10.1145/3241653.3241659","title":"κDOT: scaling DOT with mutation and constructors","year":2018,"lang":"en","type":"article","venue":"","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Scala; Computer science; Core (optical fiber); Object (grammar); Field (mathematics); Programming language; Artificial intelligence; Mathematics; Pure mathematics; Java","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004017257,0.001266898,0.001150214,0.001203739,0.00178104,0.00384927,0.003017667,0.001589069,0.01513552],"category_scores_gemma":[0.01818085,0.001209089,0.002096252,0.001052259,0.004224507,0.01054719,0.00878079,0.004505218,0.005281131],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002050485,"about_ca_system_score_gemma":0.003229996,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004733816,"about_ca_topic_score_gemma":0.004995717,"domain_scores_codex":[0.9946952,0.0009534726,0.0004990232,0.001212543,0.00203937,0.0006003649],"domain_scores_gemma":[0.9875679,0.003798165,0.0006864944,0.005658138,0.001816702,0.0004727283],"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.0006580612,0.0002248177,0.00723818,0.0007317954,0.0001528596,0.000978547,0.001036995,0.02053432,0.02388276,0.6804773,0.04906149,0.2150229],"study_design_scores_gemma":[0.0001712001,0.0001773496,0.001281538,0.0003348696,0.0002102289,0.001000048,0.0002661334,0.1524475,0.05288535,0.532995,0.2580208,0.0002099176],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01573992,0.0003824922,0.9267169,0.001145255,0.0008389296,0.0001162018,0.0005731283,0.03710147,0.01738567],"genre_scores_gemma":[0.3520289,0.0009316733,0.5884398,0.002996615,0.0006550419,0.0004769588,0.001653772,0.02016328,0.03265389],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01513552,"threshold_uncertainty_score":0.05063337,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0141806614211313,"score_gpt":0.2317803093414703,"score_spread":0.217599647920339,"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."}}