{"id":"W3013273637","doi":"10.4230/lipics.stacs.2020.40","title":"Succinct Population Protocols for Presburger Arithmetic","year":2020,"lang":"en","type":"preprint","venue":"DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université de Sherbrooke","funders":"","keywords":"Presburger arithmetic; Remainder; Population; Protocol (science); Quantifier (linguistics); Computer science; Discrete mathematics; Fragment (logic); Mathematics; Decidability; Arithmetic; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002932443,0.000787491,0.000740379,0.0007886645,0.0013855,0.002525582,0.001894559,0.001272561,0.01079469],"category_scores_gemma":[0.00990878,0.0006751717,0.001637279,0.0007654024,0.003315563,0.00916262,0.005062217,0.005171444,0.001732127],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002356699,"about_ca_system_score_gemma":0.002138157,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0009845326,"about_ca_topic_score_gemma":0.001596109,"domain_scores_codex":[0.996228,0.001080523,0.0002804166,0.0007475294,0.001258058,0.0004055226],"domain_scores_gemma":[0.9930671,0.004368185,0.0004257912,0.001383691,0.0005799276,0.0001752515],"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.0001821464,0.0001053141,0.0003888978,0.0002089538,0.00002926558,0.0001285189,0.0007980944,0.019784,0.01144032,0.9347571,0.002707154,0.02947032],"study_design_scores_gemma":[0.0001502615,0.0001366915,0.0001668783,0.00008990158,0.00005581856,0.0000973529,0.0001658029,0.09087117,0.02893264,0.8649257,0.0143495,0.0000582063],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02530031,0.0001937356,0.9602276,0.001036324,0.00009198318,0.0003361087,0.0003928698,0.001954334,0.01046676],"genre_scores_gemma":[0.5527843,0.0005498548,0.4287765,0.001295563,0.0001814536,0.001505998,0.001371436,0.0008726245,0.01266216],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01079469,"threshold_uncertainty_score":0.03611189,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04612245653824371,"score_gpt":0.3144925250052844,"score_spread":0.2683700684670407,"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."}}