{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","scholarly_communication"],"consensus_categories":[],"category_scores_codex":[0.001020186,0.000961978,0.001254126,0.0003877604,0.0004874194,0.001643373,0.003221717,0.0008332137,0.00002459466],"category_scores_gemma":[0.0005513688,0.0008500388,0.0009321313,0.0003620118,0.0000877135,0.001457251,0.002621062,0.00104988,0.0001357278],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003227296,"about_ca_system_score_gemma":0.0003449439,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004116959,"about_ca_topic_score_gemma":0.00002050399,"domain_scores_codex":[0.9949638,0.00008916665,0.002048112,0.0009312915,0.0007809144,0.001186742],"domain_scores_gemma":[0.9951915,0.0003214554,0.001444659,0.001873411,0.0007217639,0.0004472676],"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.001719299,0.003962698,0.04410296,0.05510826,0.003094548,0.00005615735,0.0701377,0.004317855,0.0001432637,0.4558039,0.1834839,0.1780694],"study_design_scores_gemma":[0.005670145,0.0009017866,0.004825354,0.001315365,0.0001908894,0.00005159946,0.0001811149,0.6547406,0.0007700705,0.05543941,0.2735024,0.002411254],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.00388851,0.0000743011,0.9355573,0.0009735654,0.002735878,0.05018551,0.0009280204,0.0009315021,0.004725377],"genre_scores_gemma":[0.5381449,0.00004523351,0.3505183,0.003087732,0.002717877,0.09627219,0.006813789,0.0003626368,0.002037353],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.6504228,"threshold_uncertainty_score":0.999395,"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."}}