{"id":"W4399851487","doi":"10.1145/3656448","title":"Compiling Probabilistic Programs for Variable Elimination with Information Flow","year":2024,"lang":"en","type":"article","venue":"Proceedings of the ACM on Programming Languages","topic":"Security and Verification in Computing","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Variable (mathematics); Probabilistic logic; Computer science; Information flow; Programming language; Mathematics; Artificial intelligence; Philosophy","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.002304958,0.0006723189,0.0007024094,0.0007842608,0.000751025,0.002036043,0.001305159,0.0007124378,0.003419599],"category_scores_gemma":[0.01109468,0.0006948042,0.002153823,0.0007966404,0.001870964,0.002707868,0.00187464,0.002280953,0.0008404055],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001267966,"about_ca_system_score_gemma":0.002159506,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001663413,"about_ca_topic_score_gemma":0.002212889,"domain_scores_codex":[0.9979924,0.0004882986,0.0001550084,0.0003971399,0.0007735863,0.0001935805],"domain_scores_gemma":[0.9941772,0.003865932,0.0003303085,0.001113396,0.0004547559,0.00005835488],"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.0001631712,0.0001489591,0.002383148,0.0003980895,0.0001046284,0.000319344,0.0006898738,0.2931403,0.01183498,0.5410565,0.005052467,0.1447086],"study_design_scores_gemma":[0.00003344708,0.00003888868,0.0002432134,0.0000495234,0.00005939018,0.0001110458,0.0000404995,0.6842461,0.01513448,0.2930596,0.006954002,0.00002965212],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.007168667,0.00002874821,0.9884599,0.0001264983,0.00003060482,0.0000383749,0.00005233713,0.002648936,0.001445899],"genre_scores_gemma":[0.2645356,0.0001607544,0.7298455,0.0002272975,0.0001093372,0.0002426203,0.000374728,0.001822879,0.002681268],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003419599,"threshold_uncertainty_score":0.01218992,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01620401409564343,"score_gpt":0.2575482061316535,"score_spread":0.2413441920360101,"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."}}