Ao Li
3 papers in the PaperMetrix corpus
Papers by this author
-
Detecting Standard Violation Errors in Smart Contracts
2018 · arXiv (Cornell University)
We present SOLAR, a new analysis tool for automatically detecting standard violation errors in Ethereum smart contracts.Given the Ethereum Virtual Machine (EVM) bytecode of a smart contract and a user specified constraint or invariant derived …
-
Spam Review Detection with Graph Convolutional Networks
2019
Reviews on online shopping websites affect the buying decisions of customers, meanwhile, attract lots of spammers aiming at misleading buyers. Xianyu, the largest second-hand goods app in China, suffering from spam reviews. The anti-spam system …
-
Agent-Oriented Planning in Multi-Agent Systems
2024 · arXiv (Cornell University)
Through the collaboration of multiple LLM-empowered agents possessing diverse expertise and tools, multi-agent systems achieve impressive progress in solving real-world problems. Given the user queries, the meta-agents, serving as the brain within multi-agent systems, are …