{"id":"W3040098638","doi":"10.1109/re48521.2020.00049","title":"Symboleo: Towards a Specification Language for Legal Contracts","year":2020,"lang":"en","type":"article","venue":"","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":54,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Ottawa","funders":"","keywords":"Computer science; Executable; Design by contract; Specification language; Formal specification; Smart contract; Programming language; Ontology; Software engineering; Semantics (computer science); Axiom; Language Of Temporal Ordering Specification; Computer security; Software; Software development; Database transaction","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.0001097664,0.00008177638,0.0001121343,0.00001869412,0.00005489657,0.0001596894,0.0004547223,0.00003858804,0.00004495311],"category_scores_gemma":[0.000135585,0.00006441284,0.0000625239,0.0001374492,0.00001381247,0.0002857333,0.0000673318,0.00005429153,0.00016864],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001628292,"about_ca_system_score_gemma":0.00006100933,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002317504,"about_ca_topic_score_gemma":0.00001244923,"domain_scores_codex":[0.9993116,0.0000164118,0.0001191114,0.0002657949,0.0001071427,0.0001799932],"domain_scores_gemma":[0.9995161,0.00004785759,0.00004106632,0.0002072062,0.00006737973,0.0001203534],"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.00001455773,0.00005594469,0.00006802748,0.0000189424,0.00001322177,0.00001274657,0.004258794,0.000003836826,0.00588556,0.8845108,0.02025145,0.08490612],"study_design_scores_gemma":[0.002778832,0.0006953751,0.01078869,0.00002165873,0.00002765461,0.00003182653,0.0009576631,0.1970354,0.102308,0.004313093,0.6801799,0.0008619248],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.00468548,0.0001894195,0.8636086,0.006827346,0.0002244432,0.0002388732,0.000002497968,0.0003029223,0.1239204],"genre_scores_gemma":[0.9727163,0.000005795835,0.02360775,0.001555242,0.0003375109,0.00001908064,0.000004774568,0.000005584536,0.001747985],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9680308,"threshold_uncertainty_score":0.262668,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03012364973396586,"score_gpt":0.2636554690119168,"score_spread":0.2335318192779509,"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."}}