{"id":"W4308119864","doi":"10.3390/e24111579","title":"Model Checking with Right Censored Data Using Relative Belief Ratio","year":2022,"lang":"en","type":"article","venue":"Entropy","topic":"Statistical Methods and Bayesian Inference","field":"Mathematics","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"American University of Sharjah","keywords":"Computer science; Model checking; Process (computing); Distribution (mathematics); Statistics; Algorithm; Mathematics","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.0003320633,0.0001214151,0.0002014159,0.00003809259,0.0003403657,0.00003551413,0.0003167652,0.00002361484,0.0007213875],"category_scores_gemma":[0.0004010462,0.000096121,0.00002047295,0.0001536262,0.00004508413,0.0001592535,0.0003058239,0.0002622972,0.000004528711],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00008673091,"about_ca_system_score_gemma":0.00008457653,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001486045,"about_ca_topic_score_gemma":0.000002848027,"domain_scores_codex":[0.9987634,0.0001804595,0.0002083578,0.000304634,0.000323303,0.0002198279],"domain_scores_gemma":[0.9987919,0.0004338823,0.0001287072,0.0005490208,0.00003926557,0.00005717893],"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.00003859398,0.00006772854,0.00009721008,0.00001356522,0.00002877569,0.00003285332,0.0004497698,0.0003160333,0.001133754,0.9966704,0.0006735785,0.0004777702],"study_design_scores_gemma":[0.000271012,0.00004209276,0.00001916017,0.00001456776,0.00005025279,0.0000144309,0.00007526427,0.5105522,0.0002580018,0.4883334,0.0002573075,0.0001123102],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00380473,0.00002165394,0.9938728,0.0001356227,0.00006425899,0.0001798637,0.0002313734,0.00004779271,0.001641971],"genre_scores_gemma":[0.1214801,0.000001284994,0.8781232,0.00006992779,0.00004752439,0.00001203955,0.00002932131,0.00002222439,0.0002144517],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.5102361,"threshold_uncertainty_score":0.7898688,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1394795371882751,"score_gpt":0.3803655616630772,"score_spread":0.2408860244748021,"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."}}