@misc{indiciaed8ffe3cb4340,
  title = {Learned Provability Likelihood for Tactical Search},
  author = {Thibault Gauthier},
  year = {2021},
  doi = {10.4204/eptcs.342.7},
  url = {https://arxiv.org/abs/2109.03234},
  note = {Source identifier: 2109.03234}
}