{"id":"W6894008866","doi":"10.5281/zenodo.6974786","title":"Symboleo2SC: From Legal Contract Specifications to Smart Contracts","year":2022,"lang":"en","type":"other","venue":"Zenodo (CERN European Organization for Nuclear Research)","topic":"","field":"","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Ottawa","funders":"","keywords":"Class (philosophy); Generator (circuit theory); Ontology; Government (linguistics); Unit (ring theory); Smart contract","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.003482251,0.001066859,0.0004305037,0.001890485,0.0008303287,0.005065415,0.0014713,0.00152691,0.1188285],"category_scores_gemma":[0.01318369,0.0009162063,0.0006794307,0.00174081,0.001402341,0.005534262,0.003315666,0.002295274,0.05389388],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002282203,"about_ca_system_score_gemma":0.003133008,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.009960333,"about_ca_topic_score_gemma":0.008285409,"domain_scores_codex":[0.9953413,0.001078977,0.0003769883,0.0004200974,0.002481328,0.0003013255],"domain_scores_gemma":[0.9954125,0.001576703,0.0001989345,0.001074728,0.001499641,0.0002375199],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0001994829,0.00008115013,0.0005742995,0.0004080712,0.00001716164,0.0002354873,0.0006549539,0.003489014,0.003643429,0.2132165,0.6867107,0.09076986],"study_design_scores_gemma":[0.00005852258,0.00001359686,0.0003492456,0.0001364091,0.000006265789,0.0001446237,0.0001215774,0.01072009,0.007343955,0.03625215,0.9447965,0.00005714217],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.006162471,0.000267475,0.4782186,0.004255469,0.001012287,0.0006658093,0.06443925,0.1546142,0.2903645],"genre_scores_gemma":[0.1193007,0.000976581,0.3338243,0.00296999,0.0004635337,0.001425789,0.1607551,0.1932005,0.1870835],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.1188285,"threshold_uncertainty_score":0.397521,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04943689119255547,"score_gpt":0.2519266423541899,"score_spread":0.2024897511616344,"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."}}