{"id":"W4388557093","doi":"10.1007/978-3-031-47705-8_20","title":"Scalable and Precise Refinement Types for Imperative Languages","year":2023,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Programming language; Scalability; Type (biology); Theoretical computer science; Database","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.003329517,0.0008912745,0.001066837,0.001032243,0.0009886642,0.002729428,0.002694379,0.001176976,0.01161376],"category_scores_gemma":[0.0116124,0.001779064,0.001612465,0.001936659,0.002790933,0.009702326,0.004211379,0.006035058,0.002886969],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001333294,"about_ca_system_score_gemma":0.001479882,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001352053,"about_ca_topic_score_gemma":0.002623314,"domain_scores_codex":[0.9969614,0.0004211632,0.0002830171,0.0003855078,0.001674937,0.0002740254],"domain_scores_gemma":[0.9935226,0.002780833,0.0002648072,0.002584907,0.000703647,0.000143284],"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.00009624616,0.0000355175,0.0002689657,0.0002339095,0.00001930184,0.00006599382,0.0002882652,0.01130623,0.005271016,0.847709,0.008804162,0.1259015],"study_design_scores_gemma":[0.00003930493,0.00002913021,0.0001717917,0.00008987888,0.00002896594,0.0001142898,0.00006788796,0.04308475,0.005598098,0.9154198,0.03532259,0.00003359858],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.003730475,0.0005047549,0.9835644,0.0003458817,0.0001876436,0.00005643692,0.0002075057,0.002937041,0.008465861],"genre_scores_gemma":[0.1448003,0.001337685,0.8253129,0.0004129036,0.0003450442,0.0002778474,0.0009535074,0.002872692,0.02368709],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01161376,"threshold_uncertainty_score":0.03885186,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02240080602861241,"score_gpt":0.2695645377260202,"score_spread":0.2471637316974078,"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."}}