◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

Yi Li

12 papers hereh-index 8307 citations14 works total

Matching runs newest-first, so older work may not be attached to this profile yet.

author position
  • middle author9
  • last author3

Across the 12 of 12 papers where every author was matched, so the position is known.

fields
  • cs.SE7
  • cs.CR5
same name
  • Yi Li — 31 papers, h 16
  • Yi Li — 30 papers, h 15
  • Yi Li — 23 papers, h 22
  • Yi Li — 15 papers, h 14
  • Yi Li — 14 papers, h 5
  • Yi Li — 13 papers, h 17

Either other researchers who publish under this name, or the same person where the external sources have not merged their records.

identity via Semantic Scholar / OpenAlex

activity
20242026
most citedPropertyGPT: LLM-driven Formal Verification of Smart Contracts through Retrieval-Augmented Property Generation

55 citations · 58 across the 11 of their papers we have counts for

collaborators
Showing 2025Show all

3 papers · 1 filter

cs.SE2025★ 1 cited

Towards Secure Program Partitioning for Smart Contracts with LLM's In-Context Learning

Ye Liu, Yuqing Niu, Chengyan Ma +5

Smart contracts are highly susceptible to manipulation attacks due to the leakage of sensitive information. Addressing manipulation vulnerabilities is particularly challenging beca…

cs.CR2025

Phantom Events: Demystifying the Issues of Log Forgery in Blockchain

Yixuan Liu, Yuxin Dong, Ye Liu +2

With the rapid development of blockchain technology, transaction logs play a central role in various applications, including decentralized exchanges, wallets, cross-chain bridges,…

cs.CR2025

Detecting Various DeFi Price Manipulations with LLM Reasoning

Juantao Zhong, Daoyuan Wu, Ye Liu +4

DeFi (Decentralized Finance) is one of the most important applications of today's cryptocurrencies and smart contracts. It manages hundreds of billions in Total Value Locked (TVL)…

◍wovepaper

Papers, researchers and institutions, woven together.

Explore
  • Search
  • Researchers
  • Institutions
Account
  • Library
  • Chat
Data
  • arXiv.org
  • Semantic Scholar
  • OpenAlex
  • Latest RSS
AboutContactPrivacyDevelopersllms.txtopenapi.json
Not affiliated with arXiv. Researcher data from Semantic Scholar (ODC-BY) and OpenAlex.