@misc{indiciae685a48b4fa58,
  title = {Computationally-assisted proof of a novel \$\textbackslash{}mathsf\{O\}(3)\textbackslash{}times \textbackslash{}mathsf\{O\}(10)\$-invariant Einstein metric on \$S\textasciicircum{}\{12\}\$},
  author = {Timothy Buttsworth and Liam Hodgkinson},
  year = {2024},
  url = {https://arxiv.org/abs/2412.01184},
  note = {Source identifier: 2412.01184}
}