{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0003424392,0.0001881306,0.0003090605,0.0001639332,0.0001821748,0.0002913424,0.0005505959,0.0001893454,0.000005041615],"category_scores_gemma":[0.00003139435,0.0001620689,0.00006617358,0.0004507818,0.00005522294,0.0003957886,0.00005858828,0.000260385,0.00002304126],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00007477459,"about_ca_system_score_gemma":0.0002004662,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001173068,"about_ca_topic_score_gemma":0.0002239069,"domain_scores_codex":[0.998309,0.00006529771,0.0005419527,0.0005721007,0.0002739939,0.0002377165],"domain_scores_gemma":[0.9985546,0.0001536812,0.0001360815,0.000837404,0.0002510845,0.00006712464],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00002459912,0.000317117,0.00198609,0.0002624573,0.0004708589,0.00006932851,0.001956572,0.256284,0.01430544,0.7096361,0.00137512,0.01331229],"study_design_scores_gemma":[0.000174224,0.00003603755,0.00008018855,0.0001903504,0.00002941519,0.00003224065,0.00004620843,0.9968879,0.0007548382,0.000602848,0.0009822012,0.0001835892],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1867731,0.002458231,0.8071043,0.000360243,0.0003482169,0.0003805724,0.00008908289,0.002441718,0.00004446058],"genre_scores_gemma":[0.9731691,0.00003242545,0.02639697,0.00003132855,0.0001270232,0.0001404329,0.00005693466,0.0000220142,0.00002370501],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.786396,"threshold_uncertainty_score":0.6608977,"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."}}