{"id":"W2336283925","doi":"10.1145/2815493.2815501","title":"Probabilistic bisimulation","year":2015,"lang":"en","type":"article","venue":"ACM SIGLOG News","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"","keywords":"Bisimulation; Probabilistic logic; Mathematics; Computer science; Artificial intelligence; Discrete mathematics","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.003864733,0.001086469,0.0009750155,0.001957691,0.001009347,0.003062891,0.002169924,0.001660749,0.006614064],"category_scores_gemma":[0.009358759,0.0006820091,0.001415203,0.001770468,0.00616635,0.00767816,0.003157801,0.00581005,0.002828386],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003466347,"about_ca_system_score_gemma":0.002152442,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001321678,"about_ca_topic_score_gemma":0.0006694318,"domain_scores_codex":[0.9939771,0.001719669,0.0004308216,0.001389431,0.002152278,0.0003307091],"domain_scores_gemma":[0.9963649,0.001809324,0.000191245,0.0006547784,0.0008797027,0.0001001344],"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.000009453004,0.000005151365,0.00002356184,0.0001429143,0.00001810933,0.00001426959,0.00005418284,0.002247801,0.0002104073,0.9753268,0.003795853,0.0181515],"study_design_scores_gemma":[0.00001062622,0.00002424128,0.00006441984,0.0001506923,0.00001979979,0.00008617729,0.00001918289,0.00645929,0.001146179,0.8574349,0.1345579,0.00002672531],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.002352987,0.0311011,0.8652782,0.005505142,0.003281811,0.0001227025,0.0003109243,0.0009058351,0.09114128],"genre_scores_gemma":[0.4602145,0.09039473,0.354664,0.01472437,0.01033093,0.001902826,0.001312448,0.001554838,0.06490129],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.006614064,"threshold_uncertainty_score":0.02515024,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1219169949482362,"score_gpt":0.3418267903558216,"score_spread":0.2199097954075855,"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."}}