{"id":"W1896373471","doi":"10.1007/978-3-540-74591-4_10","title":"Verification of Expectation Properties for Discrete Random Variables in HOL","year":2007,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":14,"is_retracted":false,"has_abstract":false,"ca_institutions":"Concordia University","funders":"","keywords":"HOL; Random variable; Computer science; Probabilistic logic; Sum of normally distributed random variables; Probability distribution; Mathematics; Expected value; Discrete mathematics; Multivariate random variable; Algorithm; Applied mathematics; Artificial intelligence; Statistics","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.0080679,0.0007991997,0.001625417,0.0008566056,0.001119706,0.004160335,0.003039933,0.001615655,0.006101916],"category_scores_gemma":[0.04072908,0.001001173,0.00305694,0.0008771298,0.004811469,0.009272424,0.005092012,0.004573113,0.0007848914],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002126102,"about_ca_system_score_gemma":0.00250853,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001618387,"about_ca_topic_score_gemma":0.002158902,"domain_scores_codex":[0.9898322,0.003451107,0.0007527132,0.001643967,0.00288096,0.001439136],"domain_scores_gemma":[0.9375631,0.05047442,0.002155588,0.006624166,0.00235482,0.0008278451],"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.0006255942,0.000169434,0.002337729,0.0003320725,0.0001322079,0.0005938897,0.0005509221,0.04521899,0.005415918,0.9163945,0.002961057,0.0252677],"study_design_scores_gemma":[0.0001481254,0.00007363054,0.000485111,0.00004644121,0.00005007948,0.0001430708,0.0001062077,0.2289059,0.009719297,0.758633,0.001646714,0.00004250191],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04794977,0.0001366683,0.9418048,0.001093197,0.0001360725,0.0001317533,0.0003528803,0.002518162,0.005876727],"genre_scores_gemma":[0.9146766,0.0001422492,0.07989396,0.0004569515,0.0001565771,0.0001604168,0.0005534637,0.0005270338,0.003432733],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.0080679,"threshold_uncertainty_score":0.04266769,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03779984418561987,"score_gpt":0.2607793551179019,"score_spread":0.222979510932282,"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."}}