{"id":"W6911772461","doi":"10.5281/zenodo.13938950","title":"Formal Foundations for Translational Separation Logic Verifiers -- Artifact","year":2024,"lang":"en","type":"other","venue":"Zenodo (CERN European Organization for Nuclear Research)","topic":"","field":"","cited_by":1,"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.004772891,0.0009803954,0.0005229695,0.001564803,0.001068241,0.003925084,0.001960095,0.001305998,0.02325883],"category_scores_gemma":[0.008859942,0.000836954,0.001671298,0.001094173,0.003142619,0.004479351,0.004085252,0.005019051,0.01111893],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001568211,"about_ca_system_score_gemma":0.00290734,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001091331,"about_ca_topic_score_gemma":0.0007963633,"domain_scores_codex":[0.9948958,0.001260241,0.0003464935,0.0008581211,0.002101652,0.0005377431],"domain_scores_gemma":[0.9954521,0.00197244,0.0002808062,0.001186403,0.0009853151,0.0001230103],"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.00003427301,0.00003930427,0.00009247765,0.0001524286,0.0000177803,0.00006841203,0.0001103438,0.002317446,0.001797935,0.9533955,0.01025687,0.03171707],"study_design_scores_gemma":[0.00005344658,0.00005269359,0.0001539688,0.0001698461,0.00003891957,0.0001721117,0.00005146696,0.02055568,0.01078576,0.8643658,0.1035628,0.0000375495],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"software","genre_scores_codex":[0.00347209,0.0004335589,0.9543467,0.001186004,0.0005203347,0.0001173088,0.0008759718,0.004373644,0.03467439],"genre_scores_gemma":[0.2714698,0.00187075,0.6671452,0.002419851,0.001200442,0.0007617855,0.006146463,0.004414799,0.04457098],"genre_candidate":"software","genre_consensus":null,"teacher_disagreement_score":0.02325883,"threshold_uncertainty_score":0.07780856,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0636740283772739,"score_gpt":0.3149954171075074,"score_spread":0.2513213887302335,"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."}}