@misc{indiciae42a441f7e9d9,
  title = {Proof Recommendation System for the HOL4 Theorem Prover},
  author = {Nour Dekhil and Adnan Rashid and Sofiene Tahar},
  year = {2024},
  url = {https://arxiv.org/abs/2501.05463},
  note = {Source identifier: 2501.05463}
}