@misc{indiciae16c2edd0fbb2,
  title = {Template-Based Conjecturing for Automated Induction in Isabelle/HOL},
  author = {Yutaka Nagashima and Zijin Xu and Ningli Wang and Daniel Sebastian Goc and James Bang},
  year = {2023},
  url = {https://arxiv.org/abs/2212.11151},
  note = {Source identifier: 2212.11151}
}