@misc{indiciae88c69bd03dcb,
  title = {AutoVerifier: An Agentic Automated Verification Framework Using Large Language Models},
  author = {Yuntao Du and Minh Dinh and Kaiyuan Zhang and Ninghui Li},
  year = {2026},
  url = {https://arxiv.org/abs/2604.02617},
  note = {Source identifier: 2604.02617}
}