@misc{indiciaea184fa46d714,
  title = {A Faster Randomized Algorithm for Vertex Cover: An Automated Approach},
  author = {Katie Clinch and Serge Gaspers and Tao Zixu He and Simon Mackenzie and Tiankuang Zhang},
  year = {2025},
  url = {https://arxiv.org/abs/2510.09027},
  note = {Source identifier: 2510.09027}
}