TY  - RPRT
TI  - NumScout: Unveiling Numerical Defects in Smart Contracts using LLM-Pruning Symbolic Execution
AU  - Jiachi Chen
AU  - Zhenzhe Shao
AU  - Shuo Yang
AU  - Yiming Shen
AU  - Yanlin Wang
AU  - Ting Chen
AU  - Zhenyu Shan
AU  - Zibin Zheng
PY  - 2025
UR  - https://arxiv.org/abs/2503.10041
ID  - 2503.10041
ER  -