Similar Items: A Proof of Bala's General-$m$ Representation of the Harmonic Numbers
- Word-Representability of Shift Graphs
- An Identity for Catalan Numbers via Restricted Dyck Paths
- A formal proof of the Sands-Sauer-Woodrow theorem using the Rocq prover and mathcomp/ssreflect
- Tree-independence number of $P_5$-free graphs with no large bicliques
- A Complexity Dichotomy for Generalized Rainbow Matchings Based on Color Classes
- A hierarchy of edge-weight symmetries in perfect matchings