@Inproceedings{Chen2025NumScoutUN,
author = {Jiachi Chen and Zhenzhe Shao and Shuo Yang and Yiming Shen and Yanlin Wang and Ting Chen and Zhenyu Shan and Zibin Zheng},
title = {NumScout: Unveiling Numerical Defects in Smart Contracts using LLM-Pruning Symbolic Execution},
year = {2025}
}