{"id":"W4392414320","doi":"","title":"Algorithmic methods for the verification of consistency in distributed systems","year":2021,"lang":"en","type":"preprint","venue":"HAL (Le Centre pour la Communication Scientifique Directe)","topic":"Distributed and Parallel Computing Systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Campus France; Centre National pour la Recherche Scientifique et Technique; Agence Universitaire de la Francophonie; Agence Nationale de la Recherche","keywords":"Consistency (knowledge bases); Computer science; Distributed computing; Software engineering; Theoretical computer science; Artificial intelligence","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.01191127,0.0002893221,0.0005706906,0.0001453656,0.0002417456,0.0006843649,0.002817617,0.000272007,0.000004143205],"category_scores_gemma":[0.002024131,0.0002617308,0.0002705755,0.0007462165,0.0001587044,0.0001295719,0.001253637,0.0004570665,0.000002248109],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001306385,"about_ca_system_score_gemma":0.0005759384,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001647893,"about_ca_topic_score_gemma":0.0001719997,"domain_scores_codex":[0.9897087,0.007819284,0.0009891507,0.0008235869,0.0003224197,0.0003369111],"domain_scores_gemma":[0.9878573,0.005276163,0.00093546,0.003096209,0.00274697,0.00008787824],"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.00001837006,0.001195571,0.001039761,0.001956353,0.0004322413,0.000007873501,0.01900782,0.02404588,0.003718021,0.7468551,0.001252397,0.2004706],"study_design_scores_gemma":[0.0004718914,5.527907e-7,0.002535766,0.002077491,0.00003737046,0.000013859,0.0003364602,0.9793695,0.003653216,0.00170665,0.009461798,0.0003355124],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.001939172,0.006195082,0.985203,0.002968872,0.0009258331,0.001009484,0.0001344086,0.0001336325,0.001490518],"genre_scores_gemma":[0.7244225,0.0002439292,0.2739137,0.00001536619,0.0000235545,0.0002692899,0.0006900313,0.00002056241,0.0004011183],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9553236,"threshold_uncertainty_score":0.9999835,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02526508603056809,"score_gpt":0.282789748318744,"score_spread":0.2575246622881759,"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."}}