{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.01214523,0.00185972,0.001205019,0.003167993,0.004427884,0.007445807,0.003932528,0.003600403,0.01469305],"category_scores_gemma":[0.02142294,0.001790383,0.003579192,0.004293646,0.007076496,0.01471042,0.003997311,0.008262852,0.004819602],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003848091,"about_ca_system_score_gemma":0.007958421,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004774125,"about_ca_topic_score_gemma":0.003151877,"domain_scores_codex":[0.9875044,0.004841829,0.00254634,0.001558763,0.002897772,0.0006508363],"domain_scores_gemma":[0.984855,0.008904952,0.001140585,0.001786606,0.00286523,0.0004476457],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00002673855,0.00003255923,0.00008382866,0.0003180574,0.00001418425,0.0002403953,0.001375357,0.003103839,0.001336372,0.9565549,0.01190343,0.02501025],"study_design_scores_gemma":[0.00008560542,0.00006402403,0.00006193467,0.0004011256,0.00003537894,0.0006908837,0.0004631394,0.01712186,0.0028096,0.5983413,0.3798296,0.00009543828],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0009317126,0.0007152499,0.9810941,0.002613237,0.0004247691,0.0003794737,0.0006587745,0.0016776,0.01150497],"genre_scores_gemma":[0.0347135,0.001210878,0.9507015,0.0012292,0.0005151156,0.0009445248,0.001041707,0.0007226109,0.008920982],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01469305,"threshold_uncertainty_score":0.06423092,"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."}}