{"id":"W4383825528","doi":"10.2139/ssrn.4505659","title":"Mv-Checker: A Software Tool for Multi-Valued Model Checking Intelligent Applications with Trust and Commitment","year":2023,"lang":"en","type":"preprint","venue":"SSRN Electronic Journal","topic":"Security and Verification in Computing","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Alberta; Concordia University","funders":"","keywords":"Model checking; Computer science; Software engineering; Software; Programming language","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","research_integrity"],"consensus_categories":[],"category_scores_codex":[0.002058952,0.0003470529,0.0003594971,0.0002159008,0.0006833209,0.0005235058,0.001351072,0.000204712,8.452188e-7],"category_scores_gemma":[0.00006569474,0.0003217976,0.0001702815,0.0002361647,0.00006631718,0.0001762276,0.0007334157,0.002450378,0.000006778282],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001028543,"about_ca_system_score_gemma":0.002663018,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002246759,"about_ca_topic_score_gemma":0.00009260098,"domain_scores_codex":[0.9967339,0.00007238515,0.0005604227,0.0007632272,0.0003665229,0.001503517],"domain_scores_gemma":[0.9982618,0.00009140587,0.0005184177,0.0007198906,0.0002899971,0.0001184729],"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.00004283131,0.0002217705,0.0006048551,0.0001931735,0.0004827417,0.000001822158,0.002212713,0.05266036,0.00001194101,0.8724563,0.00009079303,0.07102067],"study_design_scores_gemma":[0.0005248043,0.000101817,0.00006673102,0.0001170215,0.00005341148,0.0001029832,0.0002979853,0.8000496,0.00006772682,0.1977985,0.0004664162,0.0003529367],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.003345179,0.001633316,0.9927394,0.0005662894,0.0002129606,0.001193848,0.00001412573,0.0002857158,0.000009164371],"genre_scores_gemma":[0.1413799,0.004048753,0.8521846,0.0002355326,0.0004373047,0.0009856543,0.00004855215,0.00009211674,0.0005875904],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.7473893,"threshold_uncertainty_score":0.9999234,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07099441257538841,"score_gpt":0.3191975911587179,"score_spread":0.2482031785833295,"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."}}