{"id":"W3207026105","doi":"10.1145/3485522","title":"Modular specification and verification of closures in Rust","year":2021,"lang":"en","type":"article","venue":"Proceedings of the ACM on Programming Languages","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":23,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of British Columbia","funders":"","keywords":"Programming language; Computer science; Modular design; Closure (psychology); Formal verification; Rust (programming language); Code (set theory); Theoretical computer science","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.0004315552,0.00009501583,0.0001649722,0.00007769636,0.00004509257,0.00008950176,0.0009167017,0.00006008868,0.000001325651],"category_scores_gemma":[0.0006610882,0.00007013447,0.00004870032,0.0004770183,0.00007014845,0.0001754496,0.0003368604,0.0000972184,0.000001197588],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000187535,"about_ca_system_score_gemma":0.00002073296,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004678642,"about_ca_topic_score_gemma":0.000006307567,"domain_scores_codex":[0.999046,0.00001671623,0.0002600451,0.0002797844,0.0002461754,0.0001512996],"domain_scores_gemma":[0.9990214,0.00004277061,0.0002554037,0.0004661315,0.0001878212,0.00002643707],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.0000168513,0.0002894173,0.06357585,0.0004454947,0.00003017926,0.000003113718,0.005466023,0.000005763025,0.0931806,0.5635228,0.0001037496,0.2733601],"study_design_scores_gemma":[0.0009406458,0.0003194955,0.2288742,0.0002001137,0.00003439411,0.00005215647,0.005451353,0.000488583,0.7084415,0.04235324,0.01241375,0.0004305603],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9932843,0.001796024,0.001069282,0.001516761,0.0001509516,0.0004316431,7.370986e-7,0.00008577439,0.001664468],"genre_scores_gemma":[0.9826132,0.00004092979,0.0171531,0.00002118191,0.00003307398,0.00002328102,0.000001211032,0.000006950193,0.0001070753],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.6152609,"threshold_uncertainty_score":0.2860001,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01992079449776948,"score_gpt":0.2566667467240086,"score_spread":0.2367459522262391,"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."}}