{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","sts"],"consensus_categories":[],"category_scores_codex":[0.001708136,0.000402647,0.0006220022,0.003732994,0.001760123,0.0004128375,0.002992344,0.0004632986,0.0000155804],"category_scores_gemma":[0.0003265966,0.000452306,0.0004904141,0.006785898,0.0003386507,0.001851257,0.0005209849,0.001478571,0.00002252495],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001687916,"about_ca_system_score_gemma":0.001801124,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004301889,"about_ca_topic_score_gemma":0.00254708,"domain_scores_codex":[0.9942483,0.001360031,0.0005490557,0.001252747,0.00142706,0.00116284],"domain_scores_gemma":[0.9964786,0.0002781552,0.0005013764,0.001736987,0.0006735057,0.0003313475],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.001517856,0.0008558918,0.05624022,0.00176986,0.004055966,0.005214364,0.01072653,0.005774722,0.01776966,0.8796896,0.0003372972,0.01604801],"study_design_scores_gemma":[0.001784806,0.001540465,0.1949875,0.000491722,0.002101545,0.000413584,0.006479768,0.687311,0.08222926,0.007983021,0.01059337,0.004084021],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7562382,0.0001358002,0.1191803,0.00002934052,0.00128117,0.001108067,0.0000069127,0.0003704494,0.1216497],"genre_scores_gemma":[0.9573227,0.00006660264,0.02089015,0.000003740936,0.0002723395,0.000008333421,0.00007139417,0.00004951674,0.02131522],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.8717066,"threshold_uncertainty_score":0.9997929,"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."}}