{"id":"W6930080204","doi":"10.5281/zenodo.10537199","title":"Artifact Package: the Metis File System Model Checking Framework","year":2023,"lang":"en","type":"other","venue":"Zenodo (CERN European Organization for Nuclear Research)","topic":"Radiopharmaceutical Chemistry and Applications","field":"Medicine","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Artifact (error); Model checking; State (computer science); File system; Code (set theory); System model","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":false,"about_ca":true,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003172479,0.003066824,0.001501761,0.002692015,0.0008164241,0.003115786,0.005638993,0.00166245,0.1545071],"category_scores_gemma":[0.01251259,0.001919945,0.003140647,0.002047726,0.0006240556,0.003004512,0.00227188,0.003351013,0.08397442],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001759615,"about_ca_system_score_gemma":0.002701199,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.009289772,"about_ca_topic_score_gemma":0.009803279,"domain_scores_codex":[0.9966099,0.000912537,0.0003049902,0.0004820126,0.001372234,0.0003184176],"domain_scores_gemma":[0.9945624,0.002027007,0.0003071943,0.001625258,0.001382759,0.00009533358],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.000264262,0.00005277358,0.0007997965,0.0007512963,0.0001803684,0.0001224471,0.000106829,0.0120637,0.00215709,0.03519242,0.8964626,0.05184648],"study_design_scores_gemma":[0.0004076395,0.0001021864,0.001103421,0.0003085055,0.0001721657,0.000363924,0.00008490761,0.1765382,0.02393667,0.06471571,0.7321143,0.0001524426],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"methods","genre_gemma":"software","genre_scores_codex":[0.0007738319,0.0001991061,0.481144,0.0004536985,0.0002721844,0.0002566763,0.07431336,0.4294678,0.0131194],"genre_scores_gemma":[0.04895417,0.0005370027,0.3808383,0.001029646,0.000389759,0.002474895,0.2296765,0.2993555,0.03674414],"genre_candidate":"software","genre_consensus":null,"teacher_disagreement_score":0.1545071,"threshold_uncertainty_score":0.5168779,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06536292619471205,"score_gpt":0.309892259604488,"score_spread":0.244529333409776,"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."}}