{"id":"W6930472717","doi":"10.5281/zenodo.13938949","title":"Formal Foundations for Translational Separation Logic Verifiers -- Artifact","year":2024,"lang":"en","type":"other","venue":"Zenodo (CERN European Organization for Nuclear Research)","topic":"Hepatitis B Virus Studies","field":"Medicine","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of British Columbia","funders":"Schweizerischer Nationalfonds zur Förderung der Wissenschaftlichen Forschung","keywords":"Artifact (error); Separation logic; Separation (statistics)","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.006518576,0.001029899,0.00057051,0.001720994,0.001218645,0.004411418,0.002127652,0.001486144,0.02410778],"category_scores_gemma":[0.01124574,0.0009544042,0.001994013,0.001194671,0.003711824,0.005129424,0.004760212,0.005889349,0.01061921],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001653219,"about_ca_system_score_gemma":0.002987657,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00108747,"about_ca_topic_score_gemma":0.0007140174,"domain_scores_codex":[0.9937004,0.001657502,0.0004640782,0.001006468,0.002533854,0.0006377145],"domain_scores_gemma":[0.9937018,0.002990135,0.000348953,0.001481273,0.001322928,0.0001548793],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00003658783,0.00004926023,0.0001053514,0.0001712409,0.00002075632,0.00007756717,0.0001338667,0.002330146,0.001593808,0.952538,0.009845801,0.03309754],"study_design_scores_gemma":[0.00005811589,0.00005373704,0.0001440694,0.0001760859,0.00004076807,0.0001816318,0.00005498148,0.01864701,0.009471555,0.8763924,0.09474011,0.00003945337],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.002854288,0.0004313956,0.9599237,0.001364647,0.0005170067,0.0001311075,0.0007614552,0.003998913,0.03001754],"genre_scores_gemma":[0.2310664,0.00174682,0.7169574,0.002768359,0.00128327,0.0008272043,0.005108099,0.004090811,0.03615155],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.02410778,"threshold_uncertainty_score":0.0806486,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0728044734297394,"score_gpt":0.3311664300563036,"score_spread":0.2583619566265642,"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."}}