activity
20212026
most citedSnapCheck: Automated Testing for Snap Programs

13 citations · 24 across the 8 of their papers we have counts for

collaborators

8 papers

cs.GT2026

The Computable but Not Learnable Information-Value-Free Equilibria and Regulation of Algorithmic Collusion

Jason D. Hartline, Chang Wang, Chenhao Zhang

A correlated equilibrium is information-value-free if every player has an action that yields the same payoff as their equilibrium strategy when all other players follow their respe…

cs.CR2026

AgentCanary: A Security Evaluation Framework for Autonomous AI Agents in Real Executable Environments

Peiyang Li, Songping Wang, Yi Huang +9

Autonomous AI agents have driven the transition from conversation to task execution, shifting security failures from textual deception to system compromise. Although security evalu…

cs.CR2026

Toward Web 4.0: Bidirectional Trust between AI Agents and Blockchain

Yunfeng Xia, Chao Li, Lei Li +4

Autonomous AI agents are increasingly deployed on blockchain platforms, yet the design space that governs their interaction remains poorly understood. This convergence, where auton…

cs.GT2026

Incentivizing User Data Contributions for LLM Improvement under Withdrawal Rights

Di Feng, Chenhao Zhang, Zhanzhan Zhao

The continued improvement of large language models (LLMs) increasingly depends on eliciting high-quality, user-generated data, yet such data are costly to provide and often withhel…

cs.LG2026

Barriers to Counterfactual Credit Attribution for Autoregressive Models

Aloni Cohen, Chenhao Zhang

Generative AI disrupts the practice of giving credit to work that came before. Ideally, a generative model would give credit to any work on which its output depends in a significan…

cs.GT2025

Regulation of Algorithmic Collusion, Refined: Testing Pessimistic Calibrated Regret

Jason D. Hartline, Chang Wang, Chenhao Zhang

We study the regulation of algorithmic (non-)collusion amongst sellers in dynamic imperfect price competition by auditing their data as introduced by Hartline et al. [2024]. We dev…

cs.GT2024★ 11 cited

Regulation of Algorithmic Collusion

Jason D. Hartline, Sheng Long, Chenhao Zhang

Consider sellers in a competitive market that use algorithms to adapt their prices from data that they collect. In such a context it is plausible that algorithms could arrive at pr…

cs.SE2021★ 13 cited

SnapCheck: Automated Testing for Snap Programs

Wengran Wang, Chenhao Zhang, Andreas Stahlbauer +2

Programming environments such as Snap, Scratch, and Processing engage learners by allowing them to create programming artifacts such as apps and games, with visual and interactive…