{"id":"W9154768","doi":"10.1007/978-3-642-15228-3_12","title":"Soundness of the Translation Algorithm","year":2010,"lang":"en","type":"book-chapter","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"Defence Research and Development Canada; Concordia University","funders":"","keywords":"Soundness; Translation (biology); Computer science; Algorithm; Programming language; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003270686,0.001194354,0.001609363,0.001569541,0.001914178,0.005508715,0.002311922,0.00271935,0.02032102],"category_scores_gemma":[0.01290578,0.001188893,0.002298423,0.0015406,0.005371401,0.007831899,0.002893314,0.005715961,0.01328817],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001419154,"about_ca_system_score_gemma":0.002939506,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001256379,"about_ca_topic_score_gemma":0.0008187262,"domain_scores_codex":[0.9956275,0.001149001,0.0003524353,0.001029375,0.001492602,0.0003490286],"domain_scores_gemma":[0.9931082,0.003705169,0.0001239178,0.001795204,0.001190383,0.00007710516],"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.0001469918,0.00006139961,0.0001408003,0.0003025492,0.00003936725,0.0001110977,0.0003084161,0.003247394,0.003704073,0.852564,0.01176543,0.1276085],"study_design_scores_gemma":[0.00006273072,0.00002851275,0.00008847083,0.0001116261,0.00003663366,0.0001749964,0.00006969425,0.01293012,0.006319922,0.9540078,0.02614278,0.00002658054],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.004539541,0.0009710131,0.9175899,0.001327081,0.0007039522,0.0001683562,0.0002674073,0.001991518,0.07244113],"genre_scores_gemma":[0.203483,0.001913347,0.719381,0.001497255,0.000756509,0.0007640969,0.001727688,0.003273289,0.0672038],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.02032102,"threshold_uncertainty_score":0.06798053,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03890197638013539,"score_gpt":0.2640244026315895,"score_spread":0.2251224262514541,"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."}}