{"id":"W3043186838","doi":"10.1145/3406883","title":"Artifact for Article "How Effective Are Smart Contract Analysis Tools? Evaluating Smart Contract Static Analysis Tools using Bug Injection"","year":2020,"lang":"en","type":"dataset","venue":"Artifact Digital Object Group","topic":"FinTech, Crowdfunding, Digital Finance","field":"Business, Management and Accounting","cited_by":4,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of British Columbia","funders":"","keywords":"Artifact (error); Computer science; Engineering; Artificial intelligence","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":["metaresearch","metaepi_narrow","scholarly_communication","insufficient_payload"],"consensus_categories":["metaepi_narrow"],"category_scores_codex":[0.001632772,0.001928522,0.003526649,0.002698386,0.0009436158,0.01384064,0.00111009,0.0006685326,0.0004155355],"category_scores_gemma":[0.01034872,0.001949681,0.002943295,0.008169495,0.0003189654,0.01274737,0.0006722479,0.001232985,0.001890006],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008840098,"about_ca_system_score_gemma":0.0001733751,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001984621,"about_ca_topic_score_gemma":0.008398828,"domain_scores_codex":[0.9911076,0.0001614462,0.002240406,0.002642149,0.001746854,0.002101478],"domain_scores_gemma":[0.9902461,0.00307859,0.00364109,0.001732656,0.00106251,0.0002391224],"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.004329704,0.004412233,0.2353714,0.005566008,0.05660946,0.0004163989,0.0005265307,0.01896548,0.00295441,0.0003068524,0.6099148,0.06062671],"study_design_scores_gemma":[0.005619127,0.001036586,0.1324839,0.001361656,0.05410887,0.00004907816,0.00085114,0.06490653,0.0004363475,0.00167862,0.7295176,0.007950622],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"dataset","genre_gemma":"empirical","genre_scores_codex":[0.4695933,0.000125476,0.02007149,0.000281654,0.0008560164,0.004100653,0.5039577,0.0006296514,0.0003841197],"genre_scores_gemma":[0.5720229,0.000007796638,0.0002820165,0.0008660075,0.0007751753,0.0003907481,0.4253577,0.0001549329,0.0001426824],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.1196027,"threshold_uncertainty_score":0.9993458,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06267438748878422,"score_gpt":0.3041883113458083,"score_spread":0.2415139238570241,"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."}}