{"id":"W4390605965","doi":"10.1145/3580426","title":"Artifacts and Reproduction Package for Article `Indexed Types for a Statically Safe WebAssembly'","year":2024,"lang":"en","type":"dataset","venue":"Artifact Digital Object Group","topic":"Manufacturing Process and Optimization","field":"Engineering","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of British Columbia","funders":"","keywords":"Reproduction; Computer science; Programming language; Biology; Genetics","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.001307598,0.00350707,0.001737259,0.006593231,0.001163072,0.002945948,0.003192105,0.003078826,0.1765675],"category_scores_gemma":[0.007338313,0.001183245,0.002356139,0.006660673,0.0006666004,0.001728109,0.002456442,0.002521532,0.2534714],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001398961,"about_ca_system_score_gemma":0.002995081,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01977153,"about_ca_topic_score_gemma":0.03570025,"domain_scores_codex":[0.9985594,0.0001696379,0.0001939035,0.0003868778,0.0004033903,0.0002867163],"domain_scores_gemma":[0.9950345,0.001129778,0.0005194544,0.001824706,0.001026041,0.0004656161],"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.00006828798,0.00003324985,0.0004971906,0.0005583608,0.0000176297,0.00001381839,0.00001255714,0.0001648055,0.0001364918,0.00024029,0.9957103,0.002546924],"study_design_scores_gemma":[0.0003198241,0.0000277308,0.003650273,0.0003600325,0.00004007629,0.00007245137,0.00008654259,0.0006362871,0.0006679469,0.001296786,0.992799,0.00004293511],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"dataset","genre_gemma":"dataset","genre_scores_codex":[0.00008536204,0.00003543897,0.00008519524,0.00003734031,0.00003424442,0.00001360006,0.9984719,0.0006828074,0.0005541001],"genre_scores_gemma":[0.0002741827,0.00004320397,0.0004091172,0.00004414917,0.00000738889,0.000062617,0.9981989,0.0001366111,0.0008238624],"genre_candidate":"dataset","genre_consensus":"dataset","teacher_disagreement_score":0.1765675,"threshold_uncertainty_score":0.5906773,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.009583764294774214,"score_gpt":0.2299114389928803,"score_spread":0.220327674698106,"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."}}