{"id":"W4400198762","doi":"10.1007/s10270-024-01187-9","title":"Automated generation of smart contract code from legal contract specifications with Symboleo2SC","year":2024,"lang":"en","type":"article","venue":"Software & Systems Modeling","topic":"Blockchain Technology Applications and Security","field":"Computer Science","cited_by":14,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université du Québec en Outaouais; University of Ottawa","funders":"Natural Sciences and Engineering Research Council of Canada; HORIZON EUROPE Framework Programme; King Abdulaziz University; Ontario Research Foundation","keywords":"Smart contract; Computer science; Design by contract; Contract management; Code (set theory); Software engineering; Programming language; Computer security; Engineering management; Business; Software; Software development; Database transaction","routes":{"ca_aff":true,"ca_fund":true,"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.001356595,0.0005754782,0.0004400325,0.001176294,0.0005889095,0.001156466,0.0006718049,0.0008317537,0.01045249],"category_scores_gemma":[0.008187504,0.0005359376,0.0008942155,0.0006535577,0.0009951968,0.001184944,0.002063142,0.0009109323,0.003323317],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007521141,"about_ca_system_score_gemma":0.002651981,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002850869,"about_ca_topic_score_gemma":0.004266209,"domain_scores_codex":[0.9984651,0.000446899,0.00006767887,0.0001778951,0.0006787819,0.0001636532],"domain_scores_gemma":[0.9955608,0.002338584,0.0002160349,0.0009677315,0.0008209961,0.00009587297],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.001033082,0.0003981872,0.006112009,0.0009178402,0.000148722,0.001517817,0.000934721,0.2031101,0.06658605,0.1358342,0.05647036,0.5269369],"study_design_scores_gemma":[0.000125197,0.00006910979,0.0004144109,0.0000600679,0.00002058764,0.0001706803,0.00008299504,0.8953696,0.04716941,0.03791522,0.01856559,0.00003707451],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05378491,0.00009163197,0.9021429,0.0004695776,0.000127418,0.0003418545,0.001538508,0.03190292,0.00960021],"genre_scores_gemma":[0.4932164,0.0001201878,0.4886064,0.0002179701,0.00002888195,0.0003130471,0.006088088,0.004668407,0.006740599],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01045249,"threshold_uncertainty_score":0.03496701,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03865071116682103,"score_gpt":0.2530870219180857,"score_spread":0.2144363107512647,"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."}}