GoAT-X introduces a Graph of Auditing Thoughts framework that combines static data flow extraction with structured LLM reasoning to identify semantic vulnerabilities in cross-chain token transactions.
LLM- SmartAudit: Advanced Smart Contract Vulnerability Detection
3 Pith papers cite this work. Polarity classification is still indexing.
fields
cs.CR 3verdicts
UNVERDICTED 3representative citing papers
PMDetector is a hybrid static-plus-LLM framework that detects price manipulation in DeFi protocols via taint analysis, defense filtering, attack simulation, and validation, achieving 88% precision and 90% recall on 73 vulnerable plus 288 benign contracts.
A decoupled four-stage LLM pipeline with rsLoRA, distillation, and CoVe aggregation outperforms larger models on smart contract vulnerability detection and explanation using only 0.6B-4B parameter models.
citing papers explorer
-
GoAT-X: A Graph of Auditing Thoughts for Securing Token Transactions in Cross-Chain Contracts
GoAT-X introduces a Graph of Auditing Thoughts framework that combines static data flow extraction with structured LLM reasoning to identify semantic vulnerabilities in cross-chain token transactions.
-
LLM-Powered Detection of Price Manipulation in DeFi
PMDetector is a hybrid static-plus-LLM framework that detects price manipulation in DeFi protocols via taint analysis, defense filtering, attack simulation, and validation, achieving 88% precision and 90% recall on 73 vulnerable plus 288 benign contracts.
-
Decoupled Smart Contract Audits: Lightweight LLM Framework via Distillation and Aggregation
A decoupled four-stage LLM pipeline with rsLoRA, distillation, and CoVe aggregation outperforms larger models on smart contract vulnerability detection and explanation using only 0.6B-4B parameter models.