{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001417766,0.000278263,0.0004473642,0.0006555745,0.0001014988,0.0001955555,0.001376151,0.0002293145,0.00000234132],"category_scores_gemma":[0.0001388764,0.0002213972,0.00009652958,0.0004368245,0.0003215866,0.000444085,0.0002161786,0.0002267736,0.000003070302],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000146951,"about_ca_system_score_gemma":0.0002575566,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000640794,"about_ca_topic_score_gemma":0.0001076206,"domain_scores_codex":[0.9976036,0.00003514973,0.0006022755,0.0008358704,0.0005379366,0.0003851577],"domain_scores_gemma":[0.9983276,0.0003098053,0.0003748966,0.0006759504,0.0002557035,0.00005604838],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0001313312,0.00008390324,0.0004407628,0.000473541,0.0000242736,0.00001692391,0.008082647,0.02146306,0.002842121,0.2783172,0.00001205372,0.6881121],"study_design_scores_gemma":[0.001965646,0.0005420362,0.0004672144,0.0004318179,0.00001619611,0.00002736039,0.000003913122,0.6535308,0.02092127,0.3187765,0.002335656,0.0009814858],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0001014024,0.0004802179,0.9958339,0.0001178122,0.0009773697,0.0009903029,0.00000110999,0.00005985137,0.001438041],"genre_scores_gemma":[0.8582815,0.00001791195,0.1411898,0.00008129401,0.0002011537,0.00004728013,0.000006632839,0.00001669926,0.0001577582],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8581801,"threshold_uncertainty_score":0.9028316,"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."}}