{"id":"W2951800195","doi":"10.48550/arxiv.1005.5142","title":"Unprovability of the Logical Characterization of Bisimulation","year":2010,"lang":"en","type":"preprint","venue":"arXiv (Cornell University)","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Characterization (materials science); Bisimulation; Counterexample; Markov chain; Markov process; Set (abstract data type); Mathematics; State (computer science); Discrete mathematics; Event (particle physics); Computer science; Theoretical computer science; Pure mathematics; Algorithm; Programming language; Statistics","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":false,"about_ca":true,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0005896379,0.0001289153,0.0002145738,0.00009281325,0.00005384611,0.00001636933,0.001539306,0.0003041691,0.00001183498],"category_scores_gemma":[0.0001928639,0.000110516,0.0001497033,0.0005384611,0.000206264,0.0002602614,0.001161903,0.0004250331,0.000002743222],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005849572,"about_ca_system_score_gemma":0.00009595888,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002878499,"about_ca_topic_score_gemma":0.000003775572,"domain_scores_codex":[0.9987516,0.0002673829,0.0003111585,0.0004575425,0.0001049679,0.0001073396],"domain_scores_gemma":[0.997429,0.0000654443,0.0007166141,0.00146608,0.0002891617,0.00003371381],"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.00004745377,0.0002492526,0.05647615,0.0002992022,0.00003122832,0.000001589564,0.0003399275,0.08103763,0.04720036,0.8103253,0.000001611656,0.003990277],"study_design_scores_gemma":[0.0001259986,0.00002574962,0.2407324,0.00003298253,0.00002371311,4.951868e-7,0.000004868794,0.7044553,0.02595297,0.02846583,0.0000483229,0.0001313318],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5211497,8.625373e-7,0.4780781,0.00001991685,0.0003778396,0.0001792136,0.0000069382,0.00002526704,0.0001621832],"genre_scores_gemma":[0.9826274,0.00000681883,0.01725399,0.00001133067,0.00002097545,4.64899e-7,0.000008453557,0.000004670826,0.00006589958],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.7818595,"threshold_uncertainty_score":0.450671,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.10242870429841,"score_gpt":0.2162461906276554,"score_spread":0.1138174863292454,"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."}}