@inproceedings{carstensen2025using,
  title={Using Large Language Models to Generate Claims and Counterexamples in Graph Theory},
  author={Carstensen, Chase and Kalita, Jugal},
  booktitle={Recent Advances in Natural Language Processing},
  pages={12},
  year={2025}
}