{"id":"W2139403746","doi":"","title":"Formal probabilistic analysis using theorem proving","year":2008,"lang":"en","type":"dissertation","venue":"Spectrum Research Repository (Concordia University)","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":44,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Probabilistic logic; Soundness; Computer science; Probabilistic analysis of algorithms; Random variable; Automated theorem proving; Theoretical computer science; Probabilistic CTL; Algorithm; Mathematics; Artificial intelligence; Programming language; 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.02179928,0.002226171,0.00149903,0.003720627,0.001864236,0.007379913,0.004609067,0.001945508,0.007764778],"category_scores_gemma":[0.0339978,0.001459405,0.005523424,0.002758329,0.008974642,0.008798575,0.006793161,0.007681713,0.002631823],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003498968,"about_ca_system_score_gemma":0.004544287,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002540948,"about_ca_topic_score_gemma":0.001368127,"domain_scores_codex":[0.9806206,0.008461005,0.001487288,0.001975253,0.006481493,0.0009743341],"domain_scores_gemma":[0.9622388,0.02984542,0.001593078,0.003670867,0.002288315,0.0003634956],"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.00001476011,0.00004249241,0.0001927894,0.0003033949,0.00004908654,0.000183079,0.0003110491,0.01400986,0.0006791726,0.9647661,0.001766943,0.01768129],"study_design_scores_gemma":[0.00003246788,0.00002656644,0.00008842484,0.0001557908,0.00003500853,0.0001368089,0.000049638,0.04437513,0.0016173,0.9322486,0.02120012,0.00003422525],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.000742606,0.0003208359,0.993498,0.0005057899,0.00007895438,0.00009246174,0.00009727638,0.0004673189,0.004196837],"genre_scores_gemma":[0.0897439,0.002491097,0.8997663,0.0009668416,0.0007725658,0.001061779,0.0006932451,0.0004881811,0.004016186],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.02179928,"threshold_uncertainty_score":0.115287,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04779094078177581,"score_gpt":0.3165587135231803,"score_spread":0.2687677727414045,"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."}}