{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001914055,0.000651281,0.0005039503,0.001170188,0.0008853054,0.002811534,0.002119377,0.001247113,0.1074529],"category_scores_gemma":[0.005307959,0.0009252099,0.0008491838,0.0009343058,0.001077655,0.00481015,0.004335275,0.001850098,0.03909359],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001142603,"about_ca_system_score_gemma":0.002118733,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002903767,"about_ca_topic_score_gemma":0.003679178,"domain_scores_codex":[0.998319,0.0002135179,0.0001284581,0.000309243,0.0008097607,0.0002201041],"domain_scores_gemma":[0.9969419,0.0005879828,0.0001609337,0.001260323,0.0007959626,0.0002528938],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.001335644,0.0002357353,0.004888308,0.001085879,0.00007871916,0.0005630869,0.001112671,0.004510576,0.0244822,0.3554783,0.2764116,0.3298173],"study_design_scores_gemma":[0.00009896097,0.0001047312,0.0007371797,0.0001079244,0.0000274298,0.0003897518,0.00009444659,0.01102947,0.007817372,0.03456593,0.9449851,0.00004164722],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"software","genre_scores_codex":[0.02284399,0.0008905031,0.4276366,0.002246521,0.001056282,0.0005782985,0.00795129,0.1844625,0.3523341],"genre_scores_gemma":[0.2149965,0.001369122,0.2615809,0.002458881,0.0003400999,0.0007408252,0.02515773,0.04400728,0.4493487],"genre_candidate":"software","genre_consensus":null,"teacher_disagreement_score":0.1074529,"threshold_uncertainty_score":0,"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."}}