On Knowledge Compilation For Two-Variable First-Order Logic (ArXiv cs.LO Recent Papers, 2026)