@article{autoverifieranagenticautomatedverificati,
  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},
  eprint = {2604.02617},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2604.02617},
}