Showing cs.GTShow all
3 papers · 1 filter
cs.GT2026
EconCSLib: A Lean Library for Computational Economics and AI-Assisted Research
Xiaohui Bei, Jiajun Ma, Zhan Jing +2
Mathematical formalization uses interactive theorem provers to turn informal mathematical statements into machine-checkable artifacts. The success of mathlib, a large collaborative…
cs.GT2026
Optimal Pricing with Unreliable Signals
Zhihao Gavin Tang, Yixin Tao, Shixin Wang
We study a single-buyer pricing problem with unreliable side information, motivated by the increasing use of AI-assisted decision-making and LLM-based predictions. The seller obser…
cs.GT2026
Pricing with a Hidden Sample
Zhihao Gavin Tang, Yixin Tao, Shixin Wang
We study prior-independent pricing for selling a single item to a single buyer when the seller observes only a single sample from the valuation distribution, while the buyer knows…