SE4SC-LLM: an LLM-Augmented symbolic execution framework for smart contracts
🔗 https://www.semanticscholar.org/paper/62d29bf058ab81182b9e5a6d6a472b752567a9e0 ↗SE4SC-LLM: an LLM-Augmented symbolic execution framework for smart contracts. International Conference on Automated Software Engineering
內容為收集當日抓取的摘要原文。