Fair Division Under Boolean Valuations: Beyond Normalization

AI use, as the source states it

“The authors used significant assistance from GPT-5.6-Sol for deriving theoretical results, verified any AI-generated proofs for correctness, and expanded on the exposition and simplified arguments, with the aid of GPT-5.6-Sol and Claude Opus 5.”

Model: GPT-5.6-Sol, Claude Opus 5, as stated