{"id":"W4387667103","doi":"10.1145/3580414","title":"Artifact for the OOPSLA 2023 paper 'Simple Reference Immutability for System F-Sub'","year":2023,"lang":"en","type":"dataset","venue":"Artifact Digital Object Group","topic":"Simulation Techniques and Applications","field":"Decision Sciences","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Immutability; Artifact (error); Simple (philosophy); Computer science; Blockchain; Artificial intelligence; Computer security; Epistemology; Philosophy","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","scholarly_communication","insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.002083919,0.0005090746,0.0007430829,0.000234871,0.0007354221,0.001775336,0.001971632,0.0003778056,0.0001329839],"category_scores_gemma":[0.004170815,0.0003218022,0.0007057985,0.001021101,0.0001903184,0.0007975484,0.0004021527,0.000327815,0.002952332],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001713809,"about_ca_system_score_gemma":0.0001540449,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002732277,"about_ca_topic_score_gemma":0.0004218013,"domain_scores_codex":[0.9951574,0.00008812108,0.001594424,0.001285071,0.001198259,0.0006766926],"domain_scores_gemma":[0.9818072,0.01395032,0.0007206366,0.002763821,0.0005789938,0.0001790821],"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.00006676189,0.00007073573,0.00003053154,0.00006061941,0.00005115097,9.065154e-7,0.00001582513,0.00004297268,0.00004444789,0.0007816998,0.9748583,0.02397605],"study_design_scores_gemma":[0.000249335,0.0001688955,0.0009717461,0.00003585427,0.00006720796,0.000003897868,0.0004532225,0.00107366,0.0001676368,0.02129296,0.9750986,0.0004170179],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"dataset","genre_gemma":"dataset","genre_scores_codex":[0.0006648851,0.00006403911,0.009922403,0.0003898017,0.0004738111,0.003833842,0.9839424,0.0003674481,0.0003412931],"genre_scores_gemma":[0.1473126,0.00002421769,0.0001120229,0.0002361321,0.0003454385,0.003794861,0.8472052,0.00005646245,0.0009131132],"genre_candidate":"dataset","genre_consensus":"dataset","teacher_disagreement_score":0.1466477,"threshold_uncertainty_score":0.9999234,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1338082854226514,"score_gpt":0.402973562425632,"score_spread":0.2691652770029806,"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."}}