{"id":"W4283262489","doi":"10.1007/s42979-022-01228-4","title":"From Legal Contracts to Formal Specifications: A Systematic Literature Review","year":2022,"lang":"en","type":"article","venue":"SN Computer Science","topic":"Artificial Intelligence in Law","field":"Social Sciences","cited_by":21,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Ottawa","funders":"Università degli Studi di Trento","keywords":"Computer science; Identification (biology); Process (computing); Domain (mathematical analysis); Systematic review; Legal aspects of computing; Smart contract; Knowledge management; Data science; The Internet; World Wide Web; Computer security; Political science; Programming language; Blockchain","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":["sts"],"consensus_categories":[],"category_scores_codex":[0.003336344,0.0001107668,0.0002442834,0.0001419087,0.002336011,0.0006469624,0.001850061,0.00002329225,0.0002498669],"category_scores_gemma":[0.0004627846,0.0001037957,0.00007094828,0.002659621,0.0004205864,0.001260056,0.0004789232,0.0002145939,0.0002477272],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002947319,"about_ca_system_score_gemma":0.0004328375,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003637842,"about_ca_topic_score_gemma":0.0001475635,"domain_scores_codex":[0.9970355,0.0003250353,0.0003695825,0.0004697392,0.001290643,0.0005094758],"domain_scores_gemma":[0.9985104,0.0002562701,0.0001530027,0.0005207753,0.0003049033,0.0002546273],"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.0000183056,0.0002699382,0.00007377059,0.002569039,0.00002446527,0.0001425064,0.08521246,0.001163647,0.0008659963,0.8456969,0.03402967,0.02993333],"study_design_scores_gemma":[0.0001926179,0.0004517562,0.0006229753,0.03828522,0.00009303648,0.0000835668,0.007776497,0.01755651,0.0007711151,0.01407249,0.9185176,0.001576646],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05613635,0.06877043,0.6189929,0.1498179,0.03148973,0.01759273,0.0003192913,0.001533043,0.05534761],"genre_scores_gemma":[0.963859,0.0009097188,0.02047888,0.01206092,0.001415324,0.0003780354,0.000009683103,0.00001452847,0.000873898],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9077227,"threshold_uncertainty_score":0.9989628,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06245811135722792,"score_gpt":0.3493676487498318,"score_spread":0.2869095373926039,"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."}}