@misc{indiciae54afb2a35494,
  title = {TheoremGraph: Bridging Formal and Informal Mathematics},
  author = {Simon Kurgan and Evan Wang and Eric Leonen and Sophie Szeto and Luke Alexander and Artemii Remizov and Jarod Alper and Giovanni Inchiostro and Vasily Ilin},
  year = {2026},
  url = {https://arxiv.org/abs/2606.25363},
  note = {Source identifier: 2606.25363}
}