@misc{indiciae6f356c25b66b,
  title = {Learning to Find Proofs and Theorems by Learning to Refine Search Strategies: The Case of Loop Invariant Synthesis},
  author = {Jonathan Laurent and André Platzer},
  year = {2022},
  doi = {10.52202/068431-0350},
  url = {https://arxiv.org/abs/2205.14229},
  note = {Source identifier: 2205.14229}
}