{"id":"W244376972","doi":"10.1007/978-3-319-11737-9_21","title":"On the Formal Analysis of HMM Using Theorem Proving","year":2014,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Handwritten Text Recognition Techniques","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":false,"ca_institutions":"Concordia University","funders":"","keywords":"Hidden Markov model; Computer science; Mathematics; Natural language processing; Artificial intelligence","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.008938703,0.001573175,0.001749828,0.002546967,0.001623805,0.004280883,0.004743417,0.001578282,0.01183083],"category_scores_gemma":[0.0283956,0.001432434,0.004817988,0.002212291,0.005833976,0.01049608,0.005576019,0.005692599,0.002490743],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002807208,"about_ca_system_score_gemma":0.001948016,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003486047,"about_ca_topic_score_gemma":0.003175521,"domain_scores_codex":[0.9930917,0.00296218,0.0005664615,0.0009919386,0.001772295,0.0006153102],"domain_scores_gemma":[0.9707506,0.02400823,0.0005911594,0.002856988,0.001526483,0.0002666273],"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.0001062922,0.0001016965,0.0006704911,0.0003334297,0.00008293234,0.0003043427,0.0004393958,0.0265288,0.001637746,0.8907854,0.004752554,0.07425682],"study_design_scores_gemma":[0.00002576412,0.00003038347,0.0001968581,0.00008445377,0.00004453394,0.0001145461,0.00005118405,0.0813783,0.00173865,0.9102713,0.006035043,0.00002891289],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.002605769,0.0004538255,0.9917969,0.0004610887,0.00009912709,0.00004640785,0.0001121115,0.0008094844,0.00361543],"genre_scores_gemma":[0.2006228,0.001770602,0.7850916,0.0009791245,0.0008091361,0.0003607307,0.001198176,0.001336735,0.007831099],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01183083,"threshold_uncertainty_score":0.04727292,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01974399337592698,"score_gpt":0.2532719617782007,"score_spread":0.2335279684022737,"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."}}