20 citations · 69 across the 16 of their papers we have counts for
18 papers
JuryFlow: Disagreement-Guided Human-in-the-Loop Multi-Agent Evaluation
Mufeng Yang, Junwei Yu, Yepeng Ding
Large language models (LLMs) are increasingly deployed as automated judges for AI-generated content, yet a single judge is unreliable and even a panel of judges leaves a hard resid…
Conversational Capture: A Trajectory-Level Framework for Evaluating Generative Engine Optimization in Multi-turn Human-Agent Interaction
Junwei Yu, Jieyu Zhou, Mufeng Yang +2
Generative Engine Optimization (GEO) shapes content to increase its likelihood of being cited by answer engines built on retrieval-augmented large language models. GEO is typically…
Eco3S: Complex Socio-Economic System Simulation via Agent-Based Models
Shaopeng Wei, Yufei Cheng, Wenxi Sun +3
The rapid development of large language models (LLMs) has renewed interest in agent-based modeling (ABM). However, current LLM-based ABM research faces several key challenges: mode…
NetAgentBench: A State-Centric Benchmark for Evaluating Agentic Network Configuration
Ahmed Twabi, Yepeng Ding, Tohru Kondo
As agentic network management gains popularity, there is a critical need for evaluation frameworks that transcend static, one-shot testing. To address this, we introduce NetAgentBe…
Structural Feature Engineering for Generative Engine Optimization: How Content Structure Shapes Citation Behavior
Junwei Yu, Mufeng Yang, Yepeng Ding +1
The proliferation of AI-powered search engines has shifted information discovery from traditional link-based retrieval to direct answer generation with selective source citation, c…
Decentralized Multi-Agent System with Trust-Aware Communication
Yepeng Ding, Ahmed Twabi, Junwei Yu +3
The emergence of Large Language Models (LLMs) is rapidly accelerating the development of autonomous multi-agent systems (MAS), paving the way for the Internet of Agents. However, t…
DynTaskMAS: A Dynamic Task Graph-driven Framework for Asynchronous and Parallel LLM-based Multi-Agent Systems
Junwei Yu, Yepeng Ding, Hiroyuki Sato
The emergence of Large Language Models (LLMs) in Multi-Agent Systems (MAS) has opened new possibilities for artificial intelligence, yet current implementations face significant ch…
Chasing price drains liquidity
Yizhou Cao, Yepeng Ding, Ruichao Jiang +1
Assuming that the price in a Uniswap v3 style Automated Market Maker (AMM) follows a Geometric Brownian Motion (GBM), we prove that the strategy that adjusts the position of liquid…
1-D CNN-Based Online Signature Verification with Federated Learning
Lingfeng Zhang, Yuheng Guo, Yepeng Ding +1
Online signature verification plays a pivotal role in security infrastructures. However, conventional online signature verification models pose significant risks to data privacy, e…
Model-Driven Security Analysis of Self-Sovereign Identity Systems
Yepeng Ding, Hiroyuki Sato
Best practices of self-sovereign identity (SSI) are being intensively explored in academia and industry. Reusable solutions obtained from best practices are generalized as architec…
Hunting DeFi Vulnerabilities via Context-Sensitive Concolic Verification
Yepeng Ding, Arthur Gervais, Roger Wattenhofer +1
Decentralized finance (DeFi) is revolutionizing the traditional centralized finance paradigm with its attractive features such as high availability, transparency, and tamper-proofi…
Leveraging Self-Sovereign Identity in Decentralized Data Aggregation
Yepeng Ding, Hiroyuki Sato, Maro G. Machizawa
Data aggregation has been widely implemented as an infrastructure of data-driven systems. However, a centralized data aggregation model requires a set of strong trust assumptions t…
Self-Sovereign Identity as a Service: Architecture in Practice
Yepeng Ding, Hiroyuki Sato
Self-sovereign identity (SSI) has gained a large amount of interest. It enables physical entities to retain ownership and control of their digital identities, which naturally forms…
Sunspot: A Decentralized Framework Enabling Privacy for Authorizable Data Sharing on Transparent Public Blockchains
Yepeng Ding, Hiroyuki Sato
Blockchain technologies have been boosting the development of data-driven decentralized services in a wide range of fields. However, with the spirit of full transparency, many publ…
Formalism-Driven Development of Decentralized Systems
Yepeng Ding, Hiroyuki Sato
Decentralized systems have been widely developed and applied to address security and privacy issues in centralized systems, especially since the advancement of distributed ledger t…
Transition-Oriented Programming: Developing Provably Correct Systems
Yepeng Ding
Correctness is a necessary condition for systems to be effective in meeting human demands, thus playing a critical role in system development. However, correctness often manifests…
Formalizing and Verifying Decentralized Systems with Extended Concurrent Separation Logic
Yepeng Ding, Hiroyuki Sato
Decentralized techniques are becoming crucial and ubiquitous with the rapid advancement of distributed ledger technologies such as the blockchain. Numerous decentralized systems ha…
Extending Concurrent Separation Logic to Enhance Modular Formalization
Yepeng Ding, Hiroyuki Sato
Nowadays, numerous services based on large-scale distributed systems have been developed to boost the convenience of human life. On the other side, it becomes a significant challen…