@misc{indiciae327f890dfeb8,
  title = {Lassie: HOL4 Tactics by Example},
  author = {Heiko Becker and Nathaniel Bos and Ivan Gavran and Eva Darulova and Rupak Majumdar},
  year = {2021},
  doi = {10.1145/3437992.3439925},
  url = {https://arxiv.org/abs/2101.00930},
  note = {Source identifier: 2101.00930}
}