% Source revision: 1581d4cbdd69a0faf34b2089614fe2a814316a6a

@misc{OAI:Finite-Congruence-Lattices-Characterization-and-Undecidability-September-24-2026,
  author = {{OpenAI}},
  title = {{Finite congruence lattices: characterization and undecidability}},
  howpublished = {OpenAI Math Release preprint
                  \href{https://github.com/openai/math/blob/main/preprints/Finite-Congruence-Lattices-Characterization-and-Undecidability-September-24-2026/paper.pdf}{OAI:Finite-Congruence-Lattices-Characterization-and-Undecidability-September-24-2026}},
  year = {2026}
}

@misc{OAI:A-Negative-Solution-to-the-Finite-Lattice-Representation-Problem-September-24-2026,
  author = {{OpenAI}},
  title = {{A negative solution to the finite lattice representation problem}},
  howpublished = {OpenAI Math Release preprint
                  \href{https://github.com/openai/math/blob/main/preprints/A-Negative-Solution-to-the-Finite-Lattice-Representation-Problem-September-24-2026/paper.pdf}{OAI:A-Negative-Solution-to-the-Finite-Lattice-Representation-Problem-September-24-2026}},
  year = {2026}
}