{"id":"W4243493946","doi":"10.1109/ase.2004.1342756","title":"Mapping template semantics to SMV","year":2004,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Programming language; Semantics (computer science); Specification language; Set (abstract data type); Model checking; Notation; Natural language processing; Linguistics","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004546329,0.001304494,0.0008721286,0.001204247,0.0007066288,0.003624548,0.003118661,0.001704357,0.00528571],"category_scores_gemma":[0.01233724,0.001097247,0.00257853,0.001061236,0.002426706,0.005287891,0.003969988,0.00256861,0.002452853],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0016264,"about_ca_system_score_gemma":0.002469073,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002337997,"about_ca_topic_score_gemma":0.001805122,"domain_scores_codex":[0.9939334,0.002035174,0.0008060385,0.0008491052,0.001928499,0.000447815],"domain_scores_gemma":[0.9939919,0.00186557,0.0004500459,0.00259959,0.0009334318,0.000159441],"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.0001399734,0.00007085271,0.0005160958,0.0004226435,0.00006668519,0.0005170855,0.00105091,0.03861577,0.01478297,0.863953,0.005265381,0.07459857],"study_design_scores_gemma":[0.00007172536,0.0001245367,0.0001116139,0.0001570297,0.00007142093,0.0004880288,0.0002131469,0.2465436,0.05578139,0.5904922,0.105867,0.00007839657],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001586043,0.00003108243,0.994034,0.0000776051,0.00003987693,0.00005859728,0.0001127787,0.002268655,0.001791358],"genre_scores_gemma":[0.1288783,0.0002812535,0.8610992,0.0002832513,0.00006747933,0.0006206391,0.001315559,0.003261173,0.004193108],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.00528571,"threshold_uncertainty_score":0.02404356,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04244733512051396,"score_gpt":0.3008503936575986,"score_spread":0.2584030585370847,"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."}}