{"id":"W4410639593","doi":"10.1109/tnsm.2025.3573246","title":"Probabilistic Analysis of Validator Lifecycle and Fork Resolution in Ethereum 2.0-Like PoS System","year":2025,"lang":"en","type":"article","venue":"IEEE Transactions on Network and Service Management","topic":"Fault Detection and Control Systems","field":"Engineering","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Toronto Metropolitan University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Validator; Computer science; Fork (system call); Probabilistic logic; Artificial intelligence; Operating system; World Wide Web","routes":{"ca_aff":true,"ca_fund":true,"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":[],"consensus_categories":[],"category_scores_codex":[0.0002002008,0.0001202395,0.0002567935,0.0003309397,0.00007299398,0.00002696898,0.00005868929,0.00006561113,0.000003682386],"category_scores_gemma":[2.853625e-7,0.0001222272,0.00005296887,0.001221678,0.00001046371,0.00004049436,0.000002009029,0.00009063024,0.000001255467],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00007333253,"about_ca_system_score_gemma":0.000003582933,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001977475,"about_ca_topic_score_gemma":0.001604382,"domain_scores_codex":[0.9992225,0.00005662779,0.0002870036,0.0001813061,0.00009386797,0.0001586854],"domain_scores_gemma":[0.9996787,0.00004523483,0.00002789374,0.0001921345,0.00001946911,0.00003661004],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00004801456,0.00002571284,0.0000618689,0.0008404935,0.0007036934,0.000001460833,0.0001078388,0.9878806,0.00002155442,0.0004547199,0.00003899462,0.009815057],"study_design_scores_gemma":[0.0005286684,0.00002363653,0.002363736,0.0002735206,0.0006923215,6.860427e-7,0.0005962892,0.9940231,0.00002095375,0.00002845305,0.001340734,0.0001078494],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3712762,0.000952132,0.6163174,0.0002997456,0.001550083,0.001475464,0.00002587943,0.0004154054,0.007687713],"genre_scores_gemma":[0.9993683,0.0001713609,0.0001057107,0.0000950614,0.00001280042,0.0001116426,0.00000161863,0.000009426049,0.0001240753],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.6280921,"threshold_uncertainty_score":0.4984282,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.005680022844788004,"score_gpt":0.2013904099756562,"score_spread":0.1957103871308682,"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."}}