{"id":"W2962835979","doi":"10.1145/3371123","title":"A probabilistic separation logic","year":2019,"lang":"en","type":"article","venue":"Proceedings of the ACM on Programming Languages","topic":"Cryptography and Data Security","field":"Computer Science","cited_by":30,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Office of Naval Research; McGill University; University of Wisconsin-Madison; National Science Foundation","keywords":"Soundness; Probabilistic logic; Mathematical proof; Probabilistic CTL; Probabilistic argumentation; Independence (probability theory)","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0003287,0.000119874,0.0001375619,0.0000739193,0.00007354709,0.0001637168,0.002494729,0.00005244739,0.00000827292],"category_scores_gemma":[0.000606106,0.00007764614,0.0001001394,0.0005335487,0.00005591555,0.0003630727,0.000803832,0.0001402182,0.00002402554],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001575096,"about_ca_system_score_gemma":0.00001502248,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000123641,"about_ca_topic_score_gemma":0.000001765396,"domain_scores_codex":[0.9989978,0.000007924514,0.0001689211,0.0003147715,0.000298026,0.0002125599],"domain_scores_gemma":[0.998916,0.0000688515,0.0001771784,0.0006844981,0.0001174189,0.00003599357],"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.0000244404,0.0002178397,0.0107781,0.0002505957,0.00002396107,6.462399e-7,0.001991287,0.000006196417,0.00823951,0.9428599,0.001020566,0.0345869],"study_design_scores_gemma":[0.002253802,0.002549457,0.04723751,0.0009804828,0.0001119109,0.0000940012,0.003042067,0.002859447,0.1471502,0.7571779,0.03495364,0.001589509],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9924119,0.000168912,0.0004256474,0.00185276,0.0001979987,0.0007943133,0.000003871965,0.0002598038,0.003884862],"genre_scores_gemma":[0.9559458,0.00000337729,0.0437535,0.0001780743,0.0000313638,0.00003092369,0.000001611264,0.000006300521,0.00004901659],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.185682,"threshold_uncertainty_score":0.4635868,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01339409823796038,"score_gpt":0.2773575639649273,"score_spread":0.2639634657269669,"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."}}