{"id":"W7107853480","doi":"10.4230/lipics.isaac.2025.49","title":"Maximizing Social Welfare Among EF1 Allocations at the Presence of Two Types of Agents","year":2025,"lang":"en","type":"article","venue":"DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)","topic":"Game Theory and Voting Systems","field":"Economics, Econometrics and Finance","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Alberta","funders":"China Scholarship Council; Natural Sciences and Engineering Research Council of Canada; National Natural Science Foundation of China","keywords":"Constant (computer programming); Expected utility hypothesis; Function (biology); Social Welfare; Social welfare function; Transferable utility","routes":{"ca_aff":true,"ca_fund":true,"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.0009322061,0.0001705566,0.0004541868,0.0002003553,0.0003793265,0.0000562751,0.000556335,0.0001112259,0.0001053391],"category_scores_gemma":[0.0001849829,0.0001529912,0.000223919,0.0002908088,0.0002317306,0.0003292846,0.0002350711,0.0001582482,0.00004467581],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00007767342,"about_ca_system_score_gemma":0.00001999973,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001142468,"about_ca_topic_score_gemma":0.00006108318,"domain_scores_codex":[0.9981523,0.00002844394,0.001291234,0.000151641,0.00007703603,0.0002993662],"domain_scores_gemma":[0.9983286,0.0001390379,0.0009458884,0.0004221488,0.0001280065,0.00003633532],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00008317524,0.000182847,0.168756,0.001249993,0.0004159234,2.889515e-7,0.0137717,0.000852556,0.00002731053,0.8108015,0.002955606,0.0009030794],"study_design_scores_gemma":[0.01654674,0.0005491701,0.305849,0.001766113,0.0004410312,0.00002231108,0.02413019,0.1153507,0.00866758,0.07842341,0.445767,0.002486808],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9532418,0.0001718119,0.005880632,0.0007230641,0.0008498721,0.0008665961,0.001121097,0.00003702629,0.0371081],"genre_scores_gemma":[0.997309,0.0000118909,0.0002762117,0.0001080926,0.00004083313,0.00005575652,0.00009600336,0.00001577791,0.002086464],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.7323781,"threshold_uncertainty_score":0.62388,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02744888913292991,"score_gpt":0.2640014466067061,"score_spread":0.2365525574737762,"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."}}