{"id":"W2963570331","doi":"10.31390/cosa.12.2.02","title":"Reversibility Checking for Markov Chains","year":2018,"lang":"en","type":"article","venue":"Communications on Stochastic Analysis","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Windsor","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Markov chain; Computer science; Machine learning","routes":{"ca_aff":true,"ca_fund":true,"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.003993012,0.001147739,0.00101115,0.001660911,0.001325569,0.002708104,0.002042797,0.001231092,0.004833438],"category_scores_gemma":[0.02936237,0.0008043449,0.001950604,0.0008968278,0.004198682,0.006596052,0.002843278,0.003495283,0.0005498053],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001565222,"about_ca_system_score_gemma":0.00296642,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003259119,"about_ca_topic_score_gemma":0.00283281,"domain_scores_codex":[0.9925586,0.001736614,0.0005896185,0.001911439,0.002356398,0.0008473176],"domain_scores_gemma":[0.965188,0.02455523,0.002304298,0.00511117,0.002246567,0.00059475],"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.000723679,0.0002274548,0.004094131,0.0004680174,0.0002258021,0.001107209,0.000700377,0.1672795,0.03052911,0.7060134,0.002678355,0.08595299],"study_design_scores_gemma":[0.00006975687,0.00008093898,0.0002531507,0.0000506724,0.00006513934,0.0001494276,0.00005358149,0.3799009,0.04325743,0.5736485,0.002397396,0.00007306059],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.07641529,0.0001717155,0.914308,0.0004632674,0.0001329351,0.0001893899,0.0004885821,0.003964774,0.003865955],"genre_scores_gemma":[0.8168935,0.0001959479,0.1787319,0.0002490627,0.0001024844,0.0002551858,0.0006792422,0.0005712597,0.002321616],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.004833438,"threshold_uncertainty_score":0.02111733,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.08325838113447669,"score_gpt":0.3787710051011339,"score_spread":0.2955126239666572,"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."}}