@misc{indiciaef4828b34a7be,
  title = {Learning Guided Automated Reasoning: A Brief Survey},
  author = {Lasse Blaauwbroek and David Cerna and Thibault Gauthier and Jan Jakubův and Cezary Kaliszyk and Martin Suda and Josef Urban},
  year = {2024},
  doi = {10.1007/978-3-031-61716-4\_4},
  url = {https://arxiv.org/abs/2403.04017},
  note = {Source identifier: 2403.04017}
}