{"id":"W4404342313","doi":"10.1145/3704855","title":"A Demonic Outcome Logic for Randomized Nondeterminism","year":2025,"lang":"en","type":"article","venue":"Proceedings of the ACM on Programming Languages","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"McGill University; National Science Foundation","keywords":"Outcome (game theory); Computer science; Psychology; Mathematics; Mathematical economics","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.001176334,0.000215679,0.0005263427,0.000143769,0.0001944018,0.0002115626,0.003651535,0.0001047735,0.00000210278],"category_scores_gemma":[0.00592821,0.0001265909,0.0004171114,0.0004372321,0.0001594641,0.0001689226,0.001130291,0.0001664,0.000004801231],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003835321,"about_ca_system_score_gemma":0.00004429126,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000007589187,"about_ca_topic_score_gemma":0.000001650706,"domain_scores_codex":[0.9985559,0.00002030542,0.0004078774,0.0004141953,0.0002151674,0.0003865397],"domain_scores_gemma":[0.9981965,0.0006004704,0.0003269489,0.0006040093,0.0002254577,0.00004657828],"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.001284746,0.0002474323,0.004364322,0.0005516077,0.000156767,0.000001654778,0.002417603,0.000001085555,0.0017011,0.8427496,0.001576561,0.1449475],"study_design_scores_gemma":[0.1191484,0.001091587,0.002688876,0.001349212,0.0006445133,0.00005230206,0.002676793,0.006412313,0.1239766,0.7203006,0.02005806,0.001600791],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6421999,0.01054392,0.0936913,0.05713599,0.005973893,0.02255532,0.00001756222,0.004102374,0.1637797],"genre_scores_gemma":[0.8927636,0.00001180702,0.1027417,0.0006313862,0.00006415367,0.0004217859,5.406896e-7,0.00001327337,0.003351677],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.2505637,"threshold_uncertainty_score":0.7097049,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01988664965089486,"score_gpt":0.3124885896815581,"score_spread":0.2926019400306633,"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."}}