activity
20242026
collaborators

9 papers

econ.TH2026

Rational Learning One Step Off the Path

Zihao Li, Minghao Pan

Which social norms are self-correcting under rational learning? We show that conduct sustained by false beliefs cannot persist if a single departure from prevailing behavior genera…

cs.AI2026

QED: An Open-Source Multi-Agent System for Generating Mathematical Proofs on Open Problems

Chenyang An, Qihao Ye, Minghao Pan +1

We present QED, an open-source multi-agent system that turns human-provided research questions into complete mathematical proofs without further human guidance. Its pipeline is des…

cs.GT2026

Competing Auctions in Intermediated Markets

Bruno Mazorra, Minghao Pan, Christoph Schlegel

We analyze competing auctions in intermediated markets, where a seller selects among parallel mechanisms for the sale of a single good, most prominently the relay-and-protocol arch…

math.PR2026

Return Probability for the Switch--Walk--Switch Lamplighter Walk on a Regular Tree

Chenyang An, Minghao Pan

We derive the sharp return-probability asymptotic for the switch--walk--switch lamplighter walk with lamp group over the infinite -regular tree: \[ p_{2n}(e,e) = Ï…

cs.CR2026

Decentralized Equilibrium for Bitcoin Mining

Manuel Mueller-Frank, Minghao Pan, Omer Tamuz

Cryptocurrencies such as Bitcoin are defined by protocols that specify how participants record transactions and create new currency units. These protocols are not enforced by law o…

cs.GT2026

On Sybil-proof Mechanisms

Minghao Pan, Bruno Mazorra, Christoph Schlegel +1

We show that in the single-parameter mechanism design environment, the only non-wasteful, symmetric, incentive compatible and Sybil-proof direct mechanism is a second price auction…