{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003768454,0.0008080328,0.0006152435,0.001631801,0.002091743,0.003352977,0.001784286,0.001273742,0.006932293],"category_scores_gemma":[0.005620138,0.0007946706,0.001948372,0.001363529,0.004275703,0.007588408,0.004008688,0.004707668,0.001563078],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002220529,"about_ca_system_score_gemma":0.00325503,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00210853,"about_ca_topic_score_gemma":0.001768376,"domain_scores_codex":[0.9957225,0.0009327289,0.0004085953,0.001048263,0.001551135,0.000336678],"domain_scores_gemma":[0.9966462,0.001689384,0.0002906479,0.0004454617,0.000674922,0.000253329],"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.00003687994,0.00003198012,0.0001548805,0.00009104574,0.00001917131,0.00009301179,0.0001530376,0.002962004,0.001075449,0.9746568,0.002131568,0.01859403],"study_design_scores_gemma":[0.00003204715,0.00003076204,0.0001005822,0.0000348814,0.00002994619,0.0002040195,0.00003735246,0.02914401,0.00213557,0.9401916,0.02803516,0.00002407786],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.004950373,0.0003344598,0.9724151,0.001736096,0.0001178839,0.0001303843,0.0005189943,0.0009317919,0.0188649],"genre_scores_gemma":[0.3011384,0.0007896192,0.673129,0.00286644,0.0005848532,0.0004592326,0.001035138,0.0002872823,0.01971009],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006932293,"threshold_uncertainty_score":0.0231908,"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."}}