{"id":"W2772933217","doi":"10.4230/lipics.disc.2017.12","title":"On the Number of Objects with Distinct Power and the Linearizability of Set Agreement Objects","year":2017,"lang":"en","type":"article","venue":"DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Linearizability; Computer science; Set (abstract data type); Algorithm; Programming language","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":[],"consensus_categories":[],"category_scores_codex":[0.001311005,0.0002850557,0.0004555047,0.0000433411,0.0006163282,0.000343649,0.001706533,0.00009486136,0.00002714518],"category_scores_gemma":[0.0005696696,0.0001342266,0.0001723554,0.0001123484,0.000871819,0.0006049733,0.0007629663,0.0002661489,0.00002480649],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003499808,"about_ca_system_score_gemma":0.00009213412,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00005786297,"about_ca_topic_score_gemma":0.00006673043,"domain_scores_codex":[0.9981432,0.00007977558,0.0006550181,0.000229877,0.0004933727,0.0003987848],"domain_scores_gemma":[0.9962591,0.0006218337,0.0008867505,0.001793014,0.0003438641,0.00009545841],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"observational","study_design_scores_codex":[0.001565416,0.001151493,0.1626357,0.00143677,0.0008034792,0.000007799889,0.1376839,0.00004925724,0.00003468091,0.6849796,0.002806379,0.006845432],"study_design_scores_gemma":[0.06950064,0.007064869,0.4904834,0.003522244,0.0007435475,0.0004897209,0.01870487,0.2589066,0.01971928,0.1051112,0.02117637,0.004577367],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9023009,0.00003108508,0.02110091,0.0006339624,0.0005020283,0.001612902,0.0001578616,0.00004761183,0.07361274],"genre_scores_gemma":[0.9974372,0.00000952139,0.002011213,0.0002403211,0.00003214272,0.00005020054,0.00001286435,0.00001167376,0.000194869],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.5798685,"threshold_uncertainty_score":0.5473601,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01407042324576559,"score_gpt":0.2588253246099194,"score_spread":0.2447549013641538,"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."}}