Invited Speakers
Track A (Algorithmic Game Theory)
EFX under Budget Constraint ---- Sijia Dai (Chinese Academy of Sciences)
Verifiable Crowd Computing: Coping with Bounded Rationality ---- Lu Dong (Pace University)
Two-Facility Location Games with Distance Requirement ---- Ling Gai (Donghua University)
Practical Fixed-Parameter Algorithms for Defending Active Directory Style ---- Mingyu Guo (University of Adelaide)
Optimally Integrating Ad Auction into E-Commerce Platforms ---- Weian Li (Peking University)
Constrained Heterogeneous Two-facility Location Games with Max-variant Cost ---- Qi Zhao (Ocean University of China)
Track B (Game Theory in Blockchain)
Keynote: How Crypto, Stablecoins, CBDCs and Web3 Will Reshape Competition ---- Christian Catalini (MIT Cryptoeconomics Lab and Research Scientist, MIT)
FileInsurer: A Scalable and Reliable Protocol for Decentralized File Storage in Blockchain ---- Hongyin Chen (Peking University)
Markets for Crypto Tokens, and Security under Proof of Stake ---- Ravi Jagadeesan (Stanford University)
Eliciting Information without Verification ---- Yuqing Kong (Peking University)
EIP-1559: Chaos and Efficiency in Ethereum's Transaction Fee Market ---- Stefanos Leonardos (King's College London)
Token Design and Economic Incentives ---- Ye Li (University of Washington)
Insightful Mining Equilibria ---- Mengqian Zhang (Shanghai Jiao Tong University)
A Rational Protocol Treatment of 51% Attacks ---- Vassilis Zikas (Purdue University)
Track C (Multi-agent Learning, Multi-agent System, Multi-agent Games)
A brief introduction to convergence analysis of reinforcement learning algorithms ---- Xingguo Chen (Nanjing University of Posts and Telecommunications)
Decision Structure in Decentralized Multi-Agent Learning ---- Yali Du (King’s College London)
Reverse Engineering Human Cooperation and Cultural Evolution ---- Joel Z Leibo (DeepMind)
A Continuum of Solutions to Cooperative Multi-Agent Reinforcement Learning ---- Yaodong Yang (Peking University)
Track D (Learning Theory)
Unified Theory of Explaining Heuristic Findings in Attribution, Robustness, Generalization, Visual Features in a DNN ---- Quanshi Zhang, Huiqi Deng (Shanghai Jiaotong University)
More Than a Toy: Random Matrix Models Predict How Real-World Neural Representations Generalize ---- Wei Hu (UC Berkeley)
Demystifying (Deep) Reinforcement Learning with Optimism and Pessimism---- Zhaoran Wang (Northwestern University)
Track E (Quantum Computing)
Quantum Adiabatic Theorem Revisited ---- Runyao Duan (Baidu Research)
Winning Mastermind Overwhelmingly on Quantum Computers ---- Lvzhou Li (Sun Yat-Sen University)
Optimal quantum circuit constructions for quantum state preparation and general unitary synthesis ---- Shengyu Zhang (Tencent)
Numerical Framework for Finite-size Security of Quantum Cryptography ---- Hongyi Zhou (Chinese Academy of Sciences)
Track F (Machine Learning and Formal Method)
QVIP: An ILP-based Formal Verification Approach for Quantized Neural Networks ---- Yedi Zhang (ShanghaiTech University)
Copy, Right? A Testing Framework for Copyright Protection of Deep Learning Models ---- Jingyi Wang (Zhejiang University)
Adaptive Fairness Improvement based on Causality Analysis ---- Mengdi Zhang (Singapore Management University)
Robustness Analysis for DNNs from the Perspective of Model Learning ---- Pengfei Yang (Chinese Academy of Sciences)
Track G (The 16th Conference on Frontiers of Algorithmic Wisdom)
Keynote Speaker
Voronoi diagrams in the presence of obstacles ---- Hee-Kap Ahn (Pohang University of Science and Technology)
Recent progress in online matching ---- Zhiyi Huang (University of Hong Kong)
Track H (EconCS)
A Mechanism Design Approach for Multi-Party Machine Learning
Possible and Necessary Winner Problems in Iterative Elections with Multiple Rules
Truthful Cake Sharing ---- Xinhang Lu (University of New South Wales)
An Efficient Algorithm for Approximating Nash Equilibrium in Zero-sum Imperfect-information Games ---- Ying Wen (Shanghai Jiao Tong University)
Escaping Saddle Points: from Agent-based Models to Stochastic Gradient Descent ---- Fang-Yi Yu (George Mason University)
Accepted Papers
Invited Speakers
Track I (Conscious AI)
Brainish: Formalizing A Multimodal Language for Intelligence and Consciousness ---- Paul Liang (Carnegie Mellon University)
Undergraduate Research Forum
Nash Convergence of Mean-Based Learning Algorithms in First Price Auctions ---- Xinyan Hu (Peking University)
Towards Data Efficiency in Offline Reinforcement Learning ---- Baihe Huang (Peking University)
Characterizing Parametric and Convergence Stability in Nonconvex Nonsmooth Optimization ---- Hanyu Li (Peking University)
Your Transformer May Not be as Powerful as You Expect ---- Shanda Li (Peking University)
On the Feasibility of Unclonable Encryption, and More ---- Xingjian Li (Tsinghua University)
Element Distinctness, Birthday Paradox, and 1-out Pseudorandom Graphs ---- Hongxun Wu (Tsinghua University)
Female Forum
A Faster Interior-Point Method for Sum-of-Squares Optimization ---- Shunhua Jiang (Columbia University)
Quantum Copy Protection and Unclonable Cryptography ---- Jiahui Liu (UT Austin)
Graph limits and graph homomorphism inequalities ---- Fan Wei (Princeton University)
Hardness Results for Weaver’s Discrepancy Problem ---- Peng Zhang (Rutgers University)
Young PhD Forum
Optimal Private Payoff Manipulation against Commitment in Extensive-form Games ---- Yurong Chen (Peking University)
Multiwinner Voting Using Favorite-Candidate Rule ---- Zeyu Ren (Renmin University of China)
The Power of Multiple Choices in Online Stochastic Matching ---- Xinkai Shu (University of Hong Kong)
Beyond Characteristic Function Method to Get Exponential Concentration Bound ---- Zhide Wei (Peking University)
Optimal Rates of (Locally) Differentially Private Heavy-tailed Multi-Armed Bandits ---- Yulian Wu (KAUST)
Young Faculty in TCS
Graphical Resource Allocation with Matching-Induced Utilities ---- Bo Li (Hong Kong Polytechnic University)
An Optimal Separation between Two Property Testing Models for Bounded Degree Directed Graphs ---- Pan Peng (University of Science and Technology of China)
Ordinal Approximation Algorithms for MMS Allocation of Chores ---- Xiaowei Wu (University of Macau )
The Power of Uniform Sampling for Coresets ---- Xuan Wu (Huawei TCS Lab )
A polynomial time algorithm for submodular 4-partition ---- Chao Xu (University of Electronic Science and Technology of China )
Survivable Network Design: Group-Connectivity ---- Yuhao Zhang (Shanghai Jiao Tong University )
CSIAM Forum
Blockchain-Based Private Provable Data Possession ---- Huaqun Wang (Nanjing University of Posts and Telecommunications)
DAMYSUS: Streamlined BFT Consensus Leveraging Trusted Components ---- Jiangshan Yu (Monash University)