Publications

You can find my papers on arXiv.

Publications

Shininess, strong politeness, and unicorns
Benjamin Przybocki, Guilherme V. Toledo, and Yoni Zohar. FroCoS 2025. [Best Paper]

Being polite is not enough (and other limits of theory combination)
Guilherme V. Toledo, Benjamin Przybocki, and Yoni Zohar. CADE 2025. [Best Student Paper]

The nonexistence of unicorns and many-sorted Löwenheim–Skolem theorems
Benjamin Przybocki, Guilherme V. Toledo, Yoni Zohar, and Clark Barrett. FM 2024.

Bender–Knuth involutions on linear extensions of posets
Judy Hsin-Hui Chiang, Anh Trong Nam Hoang, Matthew Kendall, Ryan Lynch, Son Nguyen, Benjamin Przybocki, and Janabel Xia. Discrete Math., 347(9):Paper No. 114068, 20, 2024.

The maximum hook length of d-distinct simultaneous core partitions
Ethan Pesikoff, Benjamin Przybocki, and Janabel Xia. Electron. J. Combin., 30(3):Paper No. 3.30, 20, 2023.

Lengths of irreducible and delicate words
Benjamin Przybocki. Electron. J. Combin., 29(3):Paper No. 3.7, 12, 2022.

Hat guessing on books and windmills
Xiaoyu He, Yuzu Ido, and Benjamin Przybocki. Electron. J. Combin., 29(1):Paper No. 1.12, 19, 2022.

Preprints

Optimal and efficient partite decompositions of hypergraphs
Andrew Krapivin, Benjamin Przybocki, Nicolás Sanhueza-Matamala, and Bernardo Subercaseaux. preprint 2025+.

The termination of Nielsen transformations applied to word equations with length constraints
Benjamin Przybocki and Clark Barrett. preprint 2025+.

My Erdős number is 3.