User:John Erlbacher

I am an independent researcher in discrete mathematics, working primarily on enumerative combinatorics, graph theory, and computer-assisted verification of conjectures. My recent work includes counterexamples to several published conjectures in combinatorics and a proof of Elizalde and Luo's enumeration conjecture for the pattern pair {1132, 3312}, with certificates and formal (Lean 4) verifications archived at doi.org/10.5281/zenodo.20673865. I run the Demonstrandum research project (github.com/demonstrandum-research), which focuses on machine-verifiable mathematics: every result is backed by an independently checkable certificate. ORCID: 0009-0003-6851-4139. Contact: [email protected]. My current interest in the OEIS concerns A000670 (Fubini numbers) and related conjectures recorded in sequence entries.