{"id":"W1550058170","doi":"10.1109/fie.2004.1408559","title":"Simple type theory: simple steps towards a formal specification","year":2005,"lang":"en","type":"article","venue":"","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"","keywords":"Computer science; Simple (philosophy); Programming language; Formal specification; Type theory; Formal methods; Specification language; Formal language; Language Of Temporal Ordering Specification; Software engineering; Refinement; Type (biology)","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":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0005689882,0.0001158955,0.0001261093,0.00005660823,0.0001284572,0.0001997667,0.0006079291,0.00006162422,0.0002625316],"category_scores_gemma":[0.00003093849,0.00008672286,0.0000545595,0.0002973444,0.00002530607,0.0006960838,0.0001622353,0.00007416399,0.0008623199],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004611518,"about_ca_system_score_gemma":0.00005744677,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00007004432,"about_ca_topic_score_gemma":0.00007792089,"domain_scores_codex":[0.9988734,0.0000614607,0.0002143923,0.0002791876,0.0002259324,0.0003455924],"domain_scores_gemma":[0.9991611,0.00003523155,0.00007416451,0.0005381274,0.0001013307,0.00009002877],"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.000004720643,0.00003214708,0.0002310662,0.000003990549,0.000006880072,0.000001144673,0.0003157715,0.0000126444,0.00006642886,0.7582598,0.003379064,0.2376864],"study_design_scores_gemma":[0.000303942,0.0001552414,0.002639159,6.150537e-7,0.00000498071,0.00001647694,0.000153376,0.01264199,0.002201901,0.08871279,0.8929347,0.0002348513],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.003479609,0.0001107928,0.8993319,0.0003091217,0.000262348,0.0002180818,4.545788e-7,0.0003632945,0.09592436],"genre_scores_gemma":[0.9894015,0.000007746085,0.00657512,0.0003351279,0.0003266027,0.00001106905,0.000009589759,0.000008151009,0.003325163],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9859218,"threshold_uncertainty_score":0.9999156,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0359331844522016,"score_gpt":0.2728058312650597,"score_spread":0.2368726468128581,"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."}}