{"id":"W3106677187","doi":"10.1145/3417516","title":"Obsidian","year":2020,"lang":"en","type":"article","venue":"ACM Transactions on Programming Languages and Systems","topic":"Blockchain Technology Applications and Security","field":"Computer Science","cited_by":26,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of British Columbia","funders":"Center for Selective C-H Functionalization, National Science Foundation; U.S. Department of Defense","keywords":"Solidity; Computer science; State (computer science); Soundness; Programming language","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":[],"consensus_categories":[],"category_scores_codex":[0.0001012445,0.00009746621,0.0001241863,0.00004998449,0.0001988092,0.0001395154,0.000479853,0.00008877612,0.000003824659],"category_scores_gemma":[0.00001599223,0.00008570638,0.00003765614,0.0002995039,0.00004220862,0.00008684099,0.00001563786,0.0001754879,0.00001999773],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00000805679,"about_ca_system_score_gemma":0.00001088827,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00007810167,"about_ca_topic_score_gemma":0.000008683019,"domain_scores_codex":[0.9992606,0.00002888792,0.0001393473,0.0002996465,0.00009944324,0.0001720645],"domain_scores_gemma":[0.999297,0.00005252108,0.00003748657,0.0004799426,0.00002400906,0.0001090137],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.000003012087,0.00006901418,0.00009755226,0.00005458663,0.00003349361,0.00001825529,0.002176898,0.00005991745,0.0002461725,0.04806584,0.0000867099,0.9490885],"study_design_scores_gemma":[0.003171239,0.002581978,0.001422652,0.0002513872,0.0001517208,0.000624438,0.02090974,0.2001012,0.008881301,0.005572632,0.7537737,0.002557937],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01348217,0.001148024,0.9752176,0.008840114,0.0000884418,0.00032812,0.000004844188,0.0007099786,0.000180748],"genre_scores_gemma":[0.9783545,0.0000367696,0.02110162,0.000302679,0.00002934287,0.0001090478,0.000001237762,0.000006749049,0.00005805629],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9648723,"threshold_uncertainty_score":0.3495005,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02120712666427869,"score_gpt":0.2651548231398666,"score_spread":0.2439476964755879,"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."}}