All
TFNP
Proof Complexity
Game Theory
Blockchain
You may be curious about recent developments in
Fixed Point
computation.
2025
The Mystery Deepens: On the Query Complexity of Tarski Fixed Points
Xi Chen, Yuhao Li, Mihalis Yannakakis
TFNP Fixed Point
Metamathematics of Resolution Lower Bounds: A TFNP Perspective (arXiv )
Jiawei Li, Yuhao Li, Hanlin Ren
TFNP Proof Complexity
Constant Inapproximability of Pacing Equilibria in Second-Price Auctions (arXiv )
WINE 2025 (The Conference on Web and Internet Economics)
TFNP Game Theory
Maximal Extractable Value in Batch Auctions
Mengqian Zhang*, Yuhao Li, Xinyuan Sun, Elynn Chen, Xi Chen (at NYU)
EC 2025 (The ACM Conference on Economics and Computation)
Blockchain Game Theory
Learning to Manipulate a Commitment Optimizer (arXiv )
Yurong Chen, Xiaotie Deng, Jiarui Gan, Yuhao Li
EC 2025 (The ACM Conference on Economics and Computation)
Game Theory
Relative-error Monotonicity Testing (arXiv )
Xi Chen, Anindya De, Yizhi Huang, Yuhao Li, Shivam Nadimpalli, Rocco A. Servedio, Tianqi Yang
SODA 2025 (ACM-SIAM Symposium on Discrete Algorithms)
Property Testing
2024
Computing a Fixed Point of Contraction Maps in Polynomial Queries (arXiv , ECCC , Talk at Simons , slides )
Xi Chen, Yuhao Li, Mihalis Yannakakis
STOC 2024 (ACM Symposium on Theory of Computing)
TFNP Fixed Point
Intersection Classes in TFNP and Proof Complexity (ITCS )
Yuhao Li, William Pires, Robert Robere
ITCS 2024 (Innovations in Theoretical Computer Science)
TFNP Proof Complexity
Testing Intersecting and Union-Closed Families (arXiv )
Xi Chen, Anindya De, Yuhao Li, Shivam Nadimpalli, Rocco A. Servedio
ITCS 2024 (Innovations in Theoretical Computer Science)
Property Testing
Mildly Exponential Lower Bounds on Tolerant Testers for Monotonicity, Unateness, and Juntas (arXiv )
Xi Chen, Anindya De, Yuhao Li, Shivam Nadimpalli, Rocco A. Servedio
SODA 2024 (ACM-SIAM Symposium on Discrete Algorithms)
Property Testing
2023
MEV Makes Everyone Happy under Greedy Sequencing Rule (arXiv )
Yuhao Li*, Mengqian Zhang*, Jichen Li*, Elynn Chen, Xi Chen (at NYU) , Xiaotie Deng (Non-alphabetical order)
CCS DeFi 2023 (ACM CCS Workshop on Decentralized Finance and Security)
Also accepted for presentation in Tokenomics 2023 (International Conference on Blockchain Economics, Security and Protocols)
Blockchain Game Theory
Reducing Tarski to Unique Tarski (in the Black-box Model) (ECCC )
Xi Chen, Yuhao Li, Mihalis Yannakakis
CCC 2023 (Computational Complexity Conference)
SIAM Journal on Computing
TFNP Fixed Point Special Issue
2022
Insightful Mining Equilibria (arXiv )
Mengqian Zhang*, Yuhao Li, Jichen Li, Chaozhe Kong, Xiaotie Deng
WINE 2022 (The Conference on Web and Internet Economics)
Blockchain Game Theory
Optimal Private Payoff Manipulation against Commitment in Extensive-form Games (arXiv )
Yurong Chen, Xiaotie Deng, Yuhao Li
WINE 2022 (The Conference on Web and Internet Economics)
Games and Economic Behavior
Game Theory Best Student Paper
Improved Upper Bounds for Finding Tarski Fixed Points (arXiv )
EC 2022 (The ACM Conference on Economics and Computation)
TFNP Fixed Point
Tight Incentive Analysis on Sybil Attacks to Market Equilibrium of Resource Exchange over General Networks (SSRN )
Yukun Cheng, Xiaotie Deng, Yuhao Li, Xiang Yan
EC 2022 (The ACM Conference on Economics and Computation)
Games and Economic Behavior
Game Theory