{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.00216059,0.0003968502,0.000628397,0.00177621,0.000276041,0.0003491975,0.003471053,0.0002298353,0.00003668606],"category_scores_gemma":[0.0001942867,0.0002718595,0.000298293,0.001547827,0.0007401825,0.0003889835,0.001127307,0.0006204953,0.000008958795],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001759116,"about_ca_system_score_gemma":0.000269775,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002646541,"about_ca_topic_score_gemma":0.00004366151,"domain_scores_codex":[0.9968513,0.00008229154,0.0005678543,0.0009696699,0.001014952,0.0005138995],"domain_scores_gemma":[0.996245,0.001285509,0.0005180297,0.001555864,0.0003132739,0.00008235536],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000004469669,0.00001818506,0.00002839097,0.00002351452,0.00008450027,0.000009551495,0.0004932619,0.01539739,0.000301368,0.3366941,0.000007036416,0.6469383],"study_design_scores_gemma":[0.00006006506,0.0001308434,0.00004114708,0.0002775376,0.00006508666,0.00001081362,1.271471e-7,0.7825435,0.008160744,0.2083194,0.00007195229,0.0003187519],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0008653907,0.0000417324,0.9943867,0.000257189,0.0002959362,0.0003680509,0.000005076512,0.0001380252,0.003641841],"genre_scores_gemma":[0.7180484,0.000007982565,0.280131,0.001580826,0.0001270564,0.000008275712,0.000003012221,0.00002367112,0.00006978101],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7671462,"threshold_uncertainty_score":0.9999734,"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."}}