{"id":"W6929874801","doi":"10.5281/zenodo.10558327","title":"Artifact Package: the RefFS Reference File System for the Metis Model Checking Framework","year":2023,"lang":"en","type":"other","venue":"Zenodo (CERN European Organization for Nuclear Research)","topic":"Evolutionary Game Theory and Cooperation","field":"Social Sciences","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Metis; File system; Artifact (error); Data file; Code (set theory); File format; Key (lock)","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.004831315,0.00363489,0.002145626,0.004341663,0.001068321,0.003688661,0.008218169,0.002898359,0.2967485],"category_scores_gemma":[0.02104723,0.002566693,0.002959162,0.003262589,0.0007407961,0.003716426,0.002653742,0.003870658,0.195275],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001899392,"about_ca_system_score_gemma":0.003362991,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01226338,"about_ca_topic_score_gemma":0.01086609,"domain_scores_codex":[0.9963671,0.0008892789,0.0004343352,0.0004879828,0.001480766,0.0003404861],"domain_scores_gemma":[0.9905103,0.003390655,0.0004550894,0.002862259,0.002544228,0.0002374285],"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.0001864467,0.00004038721,0.0004456841,0.0005197696,0.0000788988,0.0001137292,0.00007158091,0.003376496,0.0006484584,0.01122072,0.9601285,0.02316937],"study_design_scores_gemma":[0.0004187644,0.00004665228,0.0007829061,0.0002833899,0.00006279037,0.0002664078,0.00005272716,0.01977807,0.007751204,0.02366302,0.9467431,0.0001509655],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"software","genre_gemma":"software","genre_scores_codex":[0.0008215901,0.0002533683,0.2474786,0.0005404572,0.0005276667,0.0002388551,0.262026,0.4660009,0.02211263],"genre_scores_gemma":[0.01780125,0.000453083,0.1038105,0.0006248444,0.0003265047,0.001558256,0.5087686,0.3397089,0.02694812],"genre_candidate":"software","genre_consensus":"software","teacher_disagreement_score":0.2967485,"threshold_uncertainty_score":0.9927226,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07356792124040573,"score_gpt":0.3018434002079516,"score_spread":0.2282754789675459,"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."}}