{"id":"W4409359688","doi":"10.1016/j.tcs.2025.115248","title":"On the existence of EFX (and Pareto-optimal) allocations for binary chores","year":2025,"lang":"en","type":"article","venue":"Theoretical Computer Science","topic":"Game Theory and Voting Systems","field":"Economics, Econometrics and Finance","cited_by":2,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"Fundo para o Desenvolvimento das Ciências e da Tecnologia; Science and Technology Development Fund; National Natural Science Foundation of China","keywords":"Pareto optimal; Binary number; Pareto principle; Mathematics; Combinatorics; Mathematical economics; Mathematical optimization; Computer science; Multi-objective optimization; Arithmetic","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.002077081,0.00007741134,0.0001767755,0.0001202638,0.0002734618,0.00006751697,0.0005384029,0.00002916078,0.00002146796],"category_scores_gemma":[0.0004059537,0.00005778468,0.00004412386,0.0003566225,0.001973378,0.00006773571,0.000132911,0.00007176817,0.00001600532],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001728983,"about_ca_system_score_gemma":0.00002127105,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000004102812,"about_ca_topic_score_gemma":2.640571e-7,"domain_scores_codex":[0.9991577,0.0000276999,0.0002846357,0.0003008207,0.00004023613,0.0001888596],"domain_scores_gemma":[0.9985477,0.0009227619,0.00009336774,0.0003453678,0.00005077161,0.00003998877],"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.00001317808,0.00002539969,0.0003217793,0.00001936241,0.000005193569,9.398322e-8,0.0002473724,0.0001609616,0.00003877188,0.9986405,0.00006250607,0.0004648641],"study_design_scores_gemma":[0.0001182428,0.0001497878,0.00254584,0.00006399052,0.000002731436,9.534639e-7,0.00003192901,0.1100574,0.0005638893,0.8861013,0.0002887506,0.00007518823],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6050823,0.000174806,0.3790977,0.002424837,0.0003767761,0.0003112599,0.00002017912,0.00002418663,0.01248793],"genre_scores_gemma":[0.9962384,0.000005814616,0.003254467,0.0003656342,0.00002588475,0.00002110288,4.637079e-7,0.000003432077,0.00008487749],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.391156,"threshold_uncertainty_score":0.7270995,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02438314118540657,"score_gpt":0.2482467532580235,"score_spread":0.2238636120726169,"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."}}