Publications

You can find my papers on arXiv.

Publications

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

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

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

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