{"id":"W3082798245","doi":"","title":"A Fixpoint Logic for Labeled Markov Processes","year":2003,"lang":"en","type":"preprint","venue":"","topic":"Bayesian Modeling and Causal Inference","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université Laval","funders":"","keywords":"Computer science; Markov chain; Fixed point; Markov process; Theoretical computer science; Algorithm; Mathematics; Statistics; Machine learning","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"],"consensus_categories":[],"category_scores_codex":[0.0003795591,0.0003056978,0.0003450986,0.00008458315,0.00009127234,0.0004135281,0.001419839,0.0002846855,0.00003850241],"category_scores_gemma":[0.0002400221,0.0002524856,0.0001179733,0.0002015685,0.00003055033,0.0001245399,0.0006979523,0.0003360559,0.00003851889],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004268587,"about_ca_system_score_gemma":0.000683601,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001686269,"about_ca_topic_score_gemma":0.00001524676,"domain_scores_codex":[0.998145,0.00004996977,0.0003329454,0.0008674192,0.0002124976,0.0003920955],"domain_scores_gemma":[0.9982643,0.0001413678,0.0001520474,0.0008561689,0.0004718582,0.0001142215],"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.00003251679,0.0004658713,0.00006013229,0.003601144,0.0001619421,0.00002151883,0.0006805381,0.001648916,0.0002973106,0.8813375,0.05481283,0.05687979],"study_design_scores_gemma":[0.0004241935,0.000169126,0.00001405922,0.0002848863,0.00002917831,0.00001878321,0.00001715691,0.1804858,0.002583333,0.8112676,0.003770859,0.0009349759],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0003268567,0.0004975641,0.9833713,0.001776564,0.00056286,0.000514108,0.00001085328,0.0004147656,0.01252511],"genre_scores_gemma":[0.1203523,0.0001573313,0.870571,0.002480518,0.0001031422,0.0004823126,0.00002038144,0.0000247455,0.005808273],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.1788369,"threshold_uncertainty_score":0.9999927,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05741078396881019,"score_gpt":0.298262547841796,"score_spread":0.2408517638729858,"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."}}