@misc{indiciae2712d9fffe9b,
  title = {Adaptive Plan-Execute Framework for Smart Contract Security Auditing},
  author = {Zhiyuan Wei and Jing Sun and Zijian Zhang and Zhe Hou and Zixiao Zhao},
  year = {2025},
  url = {https://arxiv.org/abs/2505.15242},
  note = {Source identifier: 2505.15242}
}