{"id":"W4234988755","doi":"10.1109/iri.2016.25","title":"A Formal Language for Writing Contracts","year":2016,"lang":"en","type":"article","venue":"","topic":"Artificial Intelligence in Law","field":"Social Sciences","cited_by":11,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; Formal semantics (linguistics); Programming language; Natural language; Formal language; Semantics (computer science); Design by contract; Artifact (error); Object language; Formal methods; Formal specification; Linguistics; Natural language processing; Artificial intelligence; Software; Software development","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.0006662207,0.00003911884,0.00005745782,0.00001641257,0.0003200645,0.00003860277,0.0001262576,0.00004690945,0.0008650699],"category_scores_gemma":[0.000788965,0.00002543945,0.00004224643,0.0000465511,0.0001555426,0.0004059802,0.00001473038,0.00001873271,0.0001837404],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003759482,"about_ca_system_score_gemma":0.00004992696,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0007661926,"about_ca_topic_score_gemma":0.004148758,"domain_scores_codex":[0.999298,0.00002522105,0.0001223623,0.0000921229,0.0001238597,0.0003383695],"domain_scores_gemma":[0.9992065,0.0005703731,0.00003210615,0.00006710671,0.00007023128,0.00005363824],"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.000009019133,0.000009838562,0.0002825747,0.000001087357,0.000002749178,0.000001050674,0.004126051,1.423765e-7,0.00494928,0.7937392,0.000948842,0.1959301],"study_design_scores_gemma":[0.0004543811,0.000134063,0.0003375676,0.00008288454,0.00001707764,0.000001512008,0.07060947,0.0001415673,0.127234,0.07083982,0.7296566,0.0004910338],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.394583,0.00004400544,0.1332962,0.009580961,0.0004443413,0.0005852003,0.00001242861,0.0002845113,0.4611693],"genre_scores_gemma":[0.9887698,0.000005521807,0.001645682,0.0003535988,0.0004359931,0.0000220715,3.019497e-7,0.000005268364,0.008761766],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7287078,"threshold_uncertainty_score":0.9471909,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05492930801682756,"score_gpt":0.4043734817951414,"score_spread":0.3494441737783139,"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."}}