{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0001561067,0.0003297972,0.0003231801,0.0001343394,0.00008047642,0.0006214147,0.0001061565,0.0001833338,0.00003738514],"category_scores_gemma":[0.0002767491,0.0003061969,0.0001060295,0.0001116646,0.00002354768,0.0004999579,0.00004462153,0.0001686233,0.0002902294],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005736113,"about_ca_system_score_gemma":0.00002535981,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000005046881,"about_ca_topic_score_gemma":0.0000384631,"domain_scores_codex":[0.9985499,0.000006560281,0.0003756659,0.000529284,0.000156007,0.0003825243],"domain_scores_gemma":[0.9992031,0.0001791805,0.00006357085,0.000380105,0.00005685188,0.0001172026],"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.000110394,0.00008391249,0.000005125886,0.002770122,0.0001825328,0.000005309066,0.00007991043,0.004336928,0.0001884834,0.00006765435,0.9784446,0.01372508],"study_design_scores_gemma":[0.0004440288,0.0003593975,0.00007602614,0.0001733342,0.0001973254,0.00001035029,0.00003341873,0.01562373,0.007588841,0.003569991,0.9713076,0.0006159501],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"dataset","genre_gemma":"dataset","genre_scores_codex":[0.003752894,0.0004295182,0.03173224,0.0002191117,0.000943032,0.001446383,0.960837,0.0004657232,0.0001740692],"genre_scores_gemma":[0.1856492,0.0001897847,0.00114491,0.000064414,0.0004506255,0.0004355311,0.8115655,0.0001417574,0.0003582039],"genre_candidate":"dataset","genre_consensus":"dataset","teacher_disagreement_score":0.1818963,"threshold_uncertainty_score":0.999939,"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."}}