{"id":"W2027835414","doi":"10.1109/meco.2013.6601339","title":"pState: A probabilistic statecharts translator","year":2013,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"","keywords":"Probabilistic logic; Computer science; Consistency (knowledge bases); Representation (politics); Programming language; Theoretical computer science; State (computer science); Protocol (science); Formal verification; Formal specification; Formal methods; Power consumption; Software; Code (set theory); Distributed computing; Power (physics); 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":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0002300521,0.00007524583,0.00007178674,0.0000453056,0.00004529177,0.000132012,0.0004879517,0.00003008254,0.0002183756],"category_scores_gemma":[0.00004255494,0.00006000055,0.00002444048,0.000219702,0.00003056566,0.0008523698,0.00004182503,0.00006293126,0.0008339761],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002022472,"about_ca_system_score_gemma":0.00002883867,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004327579,"about_ca_topic_score_gemma":0.000001915937,"domain_scores_codex":[0.9992173,0.00005055677,0.0001653231,0.0002209052,0.0001529523,0.0001929057],"domain_scores_gemma":[0.9993275,0.00003096794,0.00003327914,0.0004569968,0.00007597242,0.00007529469],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000001556316,0.00005413916,0.00004440364,0.00002618288,0.000005308602,0.000001250471,0.0008929544,0.00004974808,0.003596932,0.7699328,0.00258469,0.22281],"study_design_scores_gemma":[0.0003875517,0.0001927891,0.005515329,0.00001464859,0.000004349416,0.00002476407,0.00005400715,0.7127951,0.02705274,0.2364778,0.01702539,0.0004554962],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01361619,0.00001264252,0.9758449,0.0006808803,0.0001852065,0.0003630776,4.716478e-7,0.0003475184,0.008949127],"genre_scores_gemma":[0.1902315,0.000002340164,0.8087778,0.0002129259,0.00001088469,0.00009143289,5.449245e-7,0.000004831306,0.0006677078],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.7127454,"threshold_uncertainty_score":0.999944,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01766103309362904,"score_gpt":0.2518483295415954,"score_spread":0.2341872964479663,"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."}}